libzipperposition
Library for Zipperposition
Description
Install
- Published
-
05 Sep 2021
- 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"
iter
>= "1.2"
containers-data
>= "3.1" & < "4.0"
containers
>= "3.1" & < "4.0"
logtk
= version
Reverse Dependencies
zipperposition
>= "2.1"
zipperposition-tools
>= "2.1"