Ettore Di Giacinto 9de6b22764 Make singlecore default solver		2021-10-10 00:29:13 +02:00
..
benchmark_test.go	Deprecate parallel solver	2021-10-10 00:28:54 +02:00
decoder_test.go	Introduce install --relaxed	2021-10-10 00:27:58 +02:00
decoder.go	Add salted method for assertion hashing	2021-05-19 17:34:01 +02: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	Introduce install --relaxed	2021-10-10 00:27:58 +02:00
solver.go	Make singlecore default solver	2021-10-10 00:29:13 +02:00