zipperposition

Zipperposition is a superposition prover for full first order logic with equality.
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.

Install
Published
29 Jul 2016
Sources
1.0.tar.gz
md5=48b8a8319663b6520622fe23f24fc073
Dependencies
Reverse Dependencies