opam-version: "2.0"
maintainer: "Damien Pous <Damien.Pous@ens-lyon.fr>"
authors: "Damien Pous <Damien.Pous@ens-lyon.fr>"
homepage: "http://perso.ens-lyon.fr/damien.pous/symkat/"
license: "LGPL-3.0-only"
build: [make "PREFIX=%{prefix}%"]
install: [make "PREFIX=%{prefix}%" "install"]
remove: [make "PREFIX=%{prefix}%" "uninstall"]
depends: [
  "ocaml" {>= "4.02.0"}
  "ocamlfind" {build}
  "safa" {= "1.3"}
  "ocamlbuild" {build}
]
synopsis: "Symbolic Algorithms for Kleene algebra with Tests (KAT)"
description: """
This OCaml library contains several constructions for Kleene algebra
with tests (KAT), that produce symbolic automata out of KAT
expressions, which can then be checked for equivalence using the
symbolic algorithms provided in the SAFA library.

These constructions are described in the following paper,
in Proc. POPL'15 ; 
http://doi.acm.org/10.1145/2676726.2677007
https://hal.archives-ouvertes.fr/hal-01021497v2/document"""
url {
  src: "http://perso.ens-lyon.fr/damien.pous/symkat/symkat-1.3.tgz"
  checksum: "md5=8e1ef90db0be25d435f6dc51a06377ab"
}
