Skip to content
This repository has been archived by the owner on Jul 1, 2020. It is now read-only.

v0.3
Compare
Choose a tag to compare
@jonaprieto jonaprieto released this 08 Aug 03:50
· 10 commits to master since this release
v0.3
c79d48a

We included propositional problems from the sources of Metis prover.

Assets 4
Loading