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 |