package zipperposition
Zipperposition is a superposition prover for full first order logic with equality.
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.tar.gz
sha256=287a24ec7109b00ff56b97cabce15f3ce6c130fe1f4fb52cb7bec2b64c9e2917
md5=48b8a8319663b6520622fe23f24fc073
Description
The accent is on flexibility, modularity and simplicity rather than performance, to allow quick experimenting on automated theorem proving. It generates TSTP traces and features many simplification rules and redundancy criteria.
Dependencies (12)
Dev Dependencies
None
Used by
None
Conflicts (2)
-
sequence
>= "0.9" -
containers
>= "1.2"
On This Page