Tanja Schindler

Results 4 comments of


                                            Tanja Schindler

AssertionError at DPLLEngine.java:1558

Related to #77 There seem to be problems with NamedAtoms and check-sat-assuming.

AssertionError at DPLLEngine.java:1567

Related to #77

ClassCastException on UF formula (get-proof)

Related to #82

NullPointerException for NIA and ALIA formulas (unsat-core)

There seem to be problems with NamedAtom and check-sat-assuming.