xapantu / counting-smt

xapantu/counting-smt Issues

Seems like wrong answer (sat vs unsat)
Closed 8 years ago2
Wrong result (sat instead of unsat)
Closed 8 years ago3
Fatal error: exception Theory_model.LA_SMT.Unknown_answer
Closed 8 years ago
Wrong result
Closed 8 years ago1
Fatal error: exception Smtlib.Not_allowed("1")
Closed 8 years ago1
Fatal error: exception Smtlib.Not_allowed("(not (= u x3))")
Closed 8 years ago
Fatal error: exception Not_found
Updated 8 years ago1
Unexpected answer
Closed 8 years ago
Unexpected char: <
Closed 8 years ago
ounit?
Closed 8 years ago6