HEAD | 66a86c6 | adding codemeta.json | 25 January 2024, 10:08:12 UTC |
refs/heads/master | 66a86c6 | adding codemeta.json | 25 January 2024, 10:08:12 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 |
refs/tags/v1.4.0 | 716c836 | updating documentation for version 1.4 | 24 November 2023, 13:00:45 UTC |