logtk

Author Simon Cruanes
Homepage https://github.com/c-cube/logtk
Issue Tracker https://github.com/c-cube/logtk/issues
Tags { logic, unification, term }
Maintainer simon.cruanes@inria.fr
Dependencies
& base-bytes
base-unix
containers >= 0.3& 1.0
ocamlfind
sequence >= 0.4
zarith
Optional dependencies
| menhir
msat
qcheck
Available ocaml-version >= "4.01.0"
Published Jan 12, 2017
Source [http] http://github.com/c-cube/logtk/archive/0.8.1.tar.gz
4d20e91b06d20a256d5939ac0c0fec68
Statistics Installed 2 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/logtk/logtk.0.8.1/opam

Logic Toolkit

Maintenance release, updated to be compatible with more recent version of the libraries.

No package is dependent