logtk

Core types and algorithms for logic
Description
Install
logic unification term
Documentation github.com Changelog BSD-2-Clause License Edit opam file
Published
05 Sep 2021
Authors
Maintainers
Sources
2.1.tar.gz
md5=e72de75e9f0f87da9e6e8c0a4d4c89f9 sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287
Dependencies
ocaml >= "4.07"
qcheck-alcotest with-test & >= "0.9"
qcheck-core with-test & >= "0.9"
alcotest with-test
dune >= "1.11"
menhir build & < "20211215"
iter >= "1.2"
mtime >= "1.0"
containers-data >= "3.0" & < "4.0"
containers >= "3.0" & < "4.0"
oseq >= "0.3" & < "0.4"
num
zarith
base-unix
base-bytes
Reverse Dependencies
libzipperposition >= "2.1"
zipperposition >= "2.1"
zipperposition-tools >= "2.1"
Conflicts
zarith < "1.7"
msat >= "0.10"
msat < "0.8.1"