libzipperposition

Library for Zipperposition
Description
Install
logic unification term superposition prover
Documentation status is unknown. github.com Edit opam file
Published
05 Sep 2021
Authors
Maintainers
Sources
2.1.tar.gz
md5=e72de75e9f0f87da9e6e8c0a4d4c89f9 sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287
Dependencies
ocaml >= "4.07"
logtk = version
menhir build
msat >= "0.8.1" & < "0.10"
dune >= "1.11"
oseq
iter >= "1.2"
containers-data >= "3.1" & < "4.0"
containers >= "3.1" & < "4.0"
logtk = version
base-unix
base-bytes
Reverse Dependencies
zipperposition >= "2.1"
zipperposition-tools >= "2.1"