logtk

Logic Toolkit
Description

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

Install
logic unification term
Documentation github.com Edit opam file
Published
13 Jan 2017
Authors
Maintainers
Sources
0.8.1.tar.gz
md5=4d20e91b06d20a256d5939ac0c0fec68
Dependencies
base-bytes
sequence >= "0.6" & < "1.0"
containers >= "0.22.1" & < "1.0"
zarith
base-unix
ocamlfind build
ocaml >= "4.01.0" & < "4.06.0"
Reverse Dependencies
Conflicts
menhir >= "20211215"
msat < "0.5"