https://github.com/crillab/gophersat
Name Target Message Date
HEAD 72b19f5 corrected bug on finding MUS on trivial (i.e solved by unit propagation) instances 01 July 2021, 12:18:04 UTC
refs/heads/master 72b19f5 corrected bug on finding MUS on trivial (i.e solved by unit propagation) instances 01 July 2021, 12:18:04 UTC
refs/tags/v1.0.2 b6511d9 fixed bug: ineffective break statement 09 February 2018, 11:24:34 UTC
refs/tags/v1.0.3 a9f25b2 removed dead code and added Optim method in Solver 14 February 2018, 12:53:34 UTC
refs/tags/v1.1.0 553024f updated doc for version 1.1 23 February 2018, 22:00:53 UTC
refs/tags/v1.1.1 eedc4da updated correct files for MAXSAT solving 25 February 2018, 18:39:09 UTC
refs/tags/v1.1.2 78dc8a9 corrected bug while displaying models for pure SAT decision problems 01 March 2018, 13:53:18 UTC
refs/tags/v1.1.3 348e328 improved performance for core solver 02 March 2018, 14:59:57 UTC
refs/tags/v1.1.4 707e9dc added missing files 04 June 2018, 09:57:53 UTC
refs/tags/v1.1.5 7ab61ab corrected bugs when all lits are propagated at the same level (unit lits) 22 February 2019, 15:30:13 UTC
back to top