package zipperposition

  1. Overview
  2. No Docs
A fully automatic theorem prover for typed first-order and beyond

Install

github.com Edit opam file

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

1.5.1.tar.gz
md5=cc320f66f10555c54822da624419e003
sha512=f8d5f7a5ae790bf0388d74261673803cf375f91f92f7b413b70db1ce5841ef55343a208f98727c8551d66f1840ab892f1c0c943a34861d14d79ce469b235a2f2

Description

Tags

logic unification term superposition prover

Published: 01 Nov 2019

Dependencies (10)

  1. ocaml >= "4.03"
  2. menhir build
  3. msat >= "0.8" & < "0.9"
  4. dune >= "1.1"
  5. iter >= "1.2"
  6. containers >= "1.0" & < "3.0"
  7. libzipperposition = version
  8. logtk = version
  9. zarith
  10. base-unix

Dev Dependencies

None

Used by

None

Conflicts

None