search

nick8325 / equinox

Paradox model finder and equinox theorem prover for first-order logic.
MIT License
19 stars 4 forks source link

Failed assertions in Paradox #14

Open nick8325 opened 7 years ago

nick8325 commented 7 years ago

Some problems cause assertions to fail in MiniSatInstantiateClause.cc:

bug_clausify.tptp incomplete4.tptp incomplete5.tptp

The instantiation code was previously compiled with -DNDEBUG which meant that the failures were ignored.