logtk

Logic Toolkit
Description

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

Install
Published
13 Jan 2017
Authors
Maintainers
Sources
0.8.1.tar.gz
md5=4d20e91b06d20a256d5939ac0c0fec68
Dependencies
sequence >= "0.6" & < "1.0"
containers >= "0.22.1" & < "1.0"
ocaml >= "4.01.0" & < "4.06.0"
Reverse Dependencies
Conflicts
menhir >= "20211215"
msat < "0.5"