Ettore Di Giacinto 4d6cccb2fa Give explaination when formulas are unsat ... Fixes #168 Signed-off-by: Ettore Di Giacinto <mudler@sabayon.org>		2021-08-07 14:46:05 +02:00
..
benchmark_test.go	Add install benchmark test for solver	2020-10-30 22:20:08 +01:00
decoder_test.go	Add salted method for assertion hashing	2021-05-19 17:34:01 +02:00
decoder.go	Add salted method for assertion hashing	2021-05-19 17:34:01 +02:00
parallel_test.go	Stabilize tests after changes	2021-01-11 23:35:18 +01:00
parallel.go	Use BuildWorld() instead of BuildPartialWorld() in solver.Solve	2021-01-11 20:11:51 +01:00
resolver_test.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00
resolver.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00
solver_suite_test.go	Support logging level and spinner customization	2020-01-01 13:43:22 +01:00
solver_test.go	Stabilize tests after changes	2021-01-11 23:35:18 +01:00
solver.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00