| 72b19f5 | Fabien Delorme | 01 July 2021, 12:18:04 UTC | corrected bug on finding MUS on trivial (i.e solved by unit propagation) instances | 01 July 2021, 12:18:04 UTC |
| 0b6a35c | Fabien Delorme | 23 November 2020, 14:15:27 UTC | Merge branch 'master' of https://github.com/crillab/gophersat | 23 November 2020, 14:15:27 UTC |
| aed0fce | Fabien Delorme | 23 November 2020, 14:15:06 UTC | added the possibility to add new, unseen vars when using solver.AppendClause | 23 November 2020, 14:15:06 UTC |
| 3fc2ac4 | Fabien Delorme | 23 October 2020, 14:23:34 UTC | Merge pull request #27 from Mystelven/master MUS returned on satisfiable formula: Status from solver.Solve() used. | 23 October 2020, 14:23:34 UTC |
| 9d0dd0c | Fabien Delorme | 23 October 2020, 13:59:42 UTC | added IntsToLits helper function | 23 October 2020, 13:59:42 UTC |
| 9dc36af | Mystelven | 11 September 2020, 14:14:48 UTC | NbClauses is now public | 11 September 2020, 14:14:48 UTC |
| fb95d9d | Mystelven | 11 September 2020, 08:55:43 UTC | Putting back as it was | 11 September 2020, 08:55:43 UTC |
| 405d2fd | Mystelven | 11 September 2020, 08:50:44 UTC | Why is the number of variables 0 ? | 11 September 2020, 08:50:44 UTC |
| 3bee266 | Mystelven | 11 September 2020, 08:47:08 UTC | Try to display some information to understand the index out of range error | 11 September 2020, 08:47:08 UTC |
| 80b92b5 | Mystelven | 11 September 2020, 08:42:00 UTC | Should not happen | 11 September 2020, 08:42:00 UTC |
| 0724925 | Mystelven | 11 September 2020, 08:40:34 UTC | Should not happen but just to be sure | 11 September 2020, 08:40:34 UTC |
| 53f119e | Mystelven | 11 September 2020, 08:35:39 UTC | Changing model as an already declared array | 11 September 2020, 08:35:39 UTC |
| ee8a13e | Valentin Montmirail | 28 June 2020, 15:42:02 UTC | fixing paths | 28 June 2020, 15:42:02 UTC |
| c9d8f5e | Valentin Montmirail | 28 June 2020, 15:39:17 UTC | Fixing path + modified files | 28 June 2020, 15:39:17 UTC |
| c144841 | Valentin Montmirail | 28 June 2020, 15:27:10 UTC | Absolute path | 28 June 2020, 15:27:10 UTC |
| 9dd844d | Valentin Montmirail | 28 June 2020, 15:05:58 UTC | Merge branch 'master' of https://github.com/Mystelven/gophersat | 28 June 2020, 15:05:58 UTC |
| 01f5a69 | Valentin Montmirail | 28 June 2020, 15:05:49 UTC | . | 28 June 2020, 15:05:49 UTC |
| 421c99f | Valentin Montmirail | 28 June 2020, 15:05:22 UTC | Use the return of solver.Solve() to know if we should search for an unsatisfiable subset or not | 28 June 2020, 15:05:22 UTC |
| 3420bbc | Montmirail Valentin | 26 June 2020, 08:13:57 UTC | Merge pull request #1 from crillab/master merge modification from original project | 26 June 2020, 08:13:57 UTC |
| 12172d8 | Fabien Delorme | 25 June 2020, 18:42:30 UTC | Merge pull request #22 from thecrypticace/fix/empty-bf-identity Ensure identity of empty And() and Or() | 25 June 2020, 18:42:30 UTC |
| 4026de2 | Fabien Delorme | 25 June 2020, 18:42:10 UTC | Merge pull request #24 from Mystelven/master Fixing the error with MUS | 25 June 2020, 18:42:10 UTC |
| fdb0551 | Valentin Montmirail | 25 June 2020, 16:07:41 UTC | fixing the error with MUS | 25 June 2020, 16:07:41 UTC |
| 6f7063d | Jordan Pittman | 19 May 2020, 01:30:46 UTC | Ensure identity of empty And() and Or() | 19 May 2020, 01:30:46 UTC |
| 228ddf8 | Fabien Delorme | 28 April 2020, 08:50:21 UTC | updating documentation | 28 April 2020, 08:50:21 UTC |
| 21cdeb4 | Fabien Delorme | 28 April 2020, 08:48:25 UTC | updating documentation regarding version 1.3 | 28 April 2020, 08:48:25 UTC |
| 9308a57 | Fabien Delorme | 28 April 2020, 08:43:56 UTC | adding Solver() method to access underlying solver.Solver | 28 April 2020, 08:43:56 UTC |
| 5fce1c7 | Fabien Delorme | 15 April 2020, 13:10:50 UTC | version 1.2 | 15 April 2020, 13:10:50 UTC |
| 37aebf6 | Fabien Delorme | 19 March 2020, 11:02:58 UTC | removed unused function | 19 March 2020, 11:02:58 UTC |
| 0cad6d3 | Fabien Delorme | 18 March 2020, 19:39:50 UTC | added certified unsat | 18 March 2020, 19:39:50 UTC |
| 9a8bf7f | Fabien Delorme | 11 February 2020, 10:29:49 UTC | Merge pull request #17 from frrad/fix_panic Fix panic | 11 February 2020, 10:29:49 UTC |
| f469910 | Fabien Delorme | 11 February 2020, 10:22:35 UTC | Merge pull request #19 from frrad/pbnumsols GtEq Omit Zero Weights | 11 February 2020, 10:22:35 UTC |
| 2f8097c | Fred Robinson | 23 December 2019, 04:44:53 UTC | Revert "int32tolit -> inttolit" This reverts commit 5e548c461b6a0a0da39e08f8749f418e3fa47a3e. | 23 December 2019, 04:44:53 UTC |
| bf01bb7 | Fred Robinson | 23 December 2019, 04:28:35 UTC | omit zero weight terms | 23 December 2019, 04:40:02 UTC |
| 32d81ef | Fred Robinson | 23 December 2019, 04:28:13 UTC | new test | 23 December 2019, 04:40:02 UTC |
| 5e548c4 | Fred Robinson | 21 December 2019, 02:31:27 UTC | int32tolit -> inttolit | 22 December 2019, 03:36:30 UTC |
| 89089f0 | Fred Robinson | 24 November 2019, 18:57:32 UTC | fix tests | 24 November 2019, 21:18:21 UTC |
| de9a35b | Fred Robinson | 24 November 2019, 18:57:19 UTC | add failing tests | 24 November 2019, 21:18:21 UTC |
| 2e8549a | Fabien Delorme | 19 July 2019, 13:11:39 UTC | Merge pull request #14 from frrad/exactlyone Fix Exactly1 | 19 July 2019, 13:11:39 UTC |
| 9b05d53 | Fred Robinson | 11 July 2019, 03:32:08 UTC | fix test | 11 July 2019, 03:32:08 UTC |
| d90a0d7 | Fred Robinson | 11 July 2019, 03:29:44 UTC | add failing test | 11 July 2019, 03:29:44 UTC |
| cbeb072 | Fabien Delorme | 20 June 2019, 11:52:12 UTC | appeasing gocyclo | 20 June 2019, 11:52:12 UTC |
| c6660fe | Fabien Delorme | 20 June 2019, 11:34:01 UTC | adding tests to travis | 20 June 2019, 11:34:01 UTC |
| 80373e1 | Fabien Delorme | 20 June 2019, 11:33:39 UTC | fixing old bug | 20 June 2019, 11:33:39 UTC |
| 87598db | Fabien Delorme | 20 June 2019, 11:30:13 UTC | fixed bug in ParseSlice | 20 June 2019, 11:30:13 UTC |
| b17531b | Fabien Delorme | 20 June 2019, 08:40:07 UTC | added travis badge | 20 June 2019, 08:40:07 UTC |
| 00f44e9 | Fabien Delorme | 20 June 2019, 08:30:38 UTC | updated travis file | 20 June 2019, 08:30:38 UTC |
| 29177c2 | Fabien Delorme | 12 April 2019, 12:52:45 UTC | corrected infinite loop in cleanupBindings | 12 April 2019, 12:52:45 UTC |
| 2f7e0cf | Fabien Delorme | 12 April 2019, 09:37:11 UTC | corrected bug in maxsat when a unit clause appears several times | 12 April 2019, 09:37:11 UTC |
| 04f13d2 | Fabien Delorme | 26 March 2019, 15:18:16 UTC | added version number and author in help | 26 March 2019, 15:18:16 UTC |
| 25a27c4 | Fabien Delorme | 26 March 2019, 15:11:33 UTC | modified confusing label in verbose mode | 26 March 2019, 15:11:33 UTC |
| 6a6f82c | Fabien Delorme | 26 March 2019, 15:04:11 UTC | corrected bug in parser for trailing spaces and incorrect var number | 26 March 2019, 15:04:11 UTC |
| 2c7358f | Fabien Delorme | 25 February 2019, 13:44:26 UTC | corrected bugs in Problem.PBString() and Problem.simplifyDB() | 25 February 2019, 13:44:26 UTC |
| 0bd7c90 | Fabien Delorme | 22 February 2019, 16:12:55 UTC | adding test after maxsat bug was found | 22 February 2019, 16:12:55 UTC |
| e7e443b | Fabien Delorme | 22 February 2019, 16:12:10 UTC | solved ineffassign issues | 22 February 2019, 16:12:10 UTC |
| 7ab61ab | Fabien Delorme | 22 February 2019, 15:30:13 UTC | corrected bugs when all lits are propagated at the same level (unit lits) | 22 February 2019, 15:30:13 UTC |
| 2e5559d | Fabien Delorme | 22 February 2019, 15:28:50 UTC | unit clauses were not considered in problem.CNF() and problem.PBString() | 22 February 2019, 15:28:50 UTC |
| 353ca18 | Fabien Delorme | 06 February 2019, 09:23:58 UTC | Merge pull request #9 from frrad/master Fix Bug in bf.Unique | 06 February 2019, 09:23:58 UTC |
| 7326935 | Fabien Delorme | 06 February 2019, 09:22:47 UTC | Merge pull request #10 from adam1/master Fix bug in bf NNF -> CNF conversion | 06 February 2019, 09:22:47 UTC |
| e7f0a8c | Adam Marks | 05 February 2019, 22:36:25 UTC | Add failing test for an apparent solver bug | 05 February 2019, 22:36:25 UTC |
| 7edfb11 | Adam Marks | 03 February 2019, 02:22:54 UTC | fix bug in bf NNF -> CNF conversion * added failing test * fixed bug in cnfRec where constraints were being dropped, which could result in invalid solutions * added bf Eval method for checking solved models in tests | 03 February 2019, 02:22:54 UTC |
| ebdddde | Frederick Robinson | 13 January 2019, 01:53:29 UTC | simplify | 13 January 2019, 01:53:29 UTC |
| 0a455e4 | Frederick Robinson | 12 January 2019, 20:44:35 UTC | fix test | 12 January 2019, 20:44:35 UTC |
| cacc623 | Frederick Robinson | 12 January 2019, 20:36:59 UTC | add failing test | 12 January 2019, 20:36:59 UTC |
| 627260f | Fabien Delorme | 04 June 2018, 10:13:14 UTC | version 1.1.4 | 04 June 2018, 10:13:14 UTC |
| 707e9dc | Fabien Delorme | 04 June 2018, 09:57:53 UTC | added missing files | 04 June 2018, 09:57:53 UTC |
| 1bdf306 | Fabien Delorme | 05 March 2018, 13:01:29 UTC | added 'stable' tag | 05 March 2018, 13:01:29 UTC |
| ff6830a | Fabien Delorme | 05 March 2018, 12:32:52 UTC | updated README wrt MAXSAT, and added badges | 05 March 2018, 12:32:52 UTC |
| 495794d | Fabien Delorme | 03 March 2018, 22:04:12 UTC | added simple, 'industrial' benchmark | 03 March 2018, 22:04:12 UTC |
| f18afee | Fabien Delorme | 03 March 2018, 22:03:22 UTC | cleaned code a little | 03 March 2018, 22:03:22 UTC |
| 348e328 | Fabien Delorme | 02 March 2018, 14:59:57 UTC | improved performance for core solver | 02 March 2018, 14:59:57 UTC |
| be52a05 | Fabien Delorme | 02 March 2018, 14:59:18 UTC | removed duplicate benchmark | 02 March 2018, 14:59:18 UTC |
| ef24385 | Fabien Delorme | 01 March 2018, 22:29:29 UTC | added a benchmark | 01 March 2018, 22:29:29 UTC |
| b2f1896 | Fabien Delorme | 01 March 2018, 22:20:18 UTC | removed commented out code | 01 March 2018, 22:20:18 UTC |
| 64285dd | Fabien Delorme | 01 March 2018, 21:04:24 UTC | added missing benchmark | 01 March 2018, 21:04:24 UTC |
| 1aa1281 | Fabien Delorme | 01 March 2018, 20:53:48 UTC | improved perforance by redirecting PB data | 01 March 2018, 20:53:48 UTC |
| 9b32be3 | Fabien Delorme | 01 March 2018, 20:02:31 UTC | improved DIMACS parser's efficiency | 01 March 2018, 20:02:31 UTC |
| 78dc8a9 | Fabien Delorme | 01 March 2018, 13:53:18 UTC | corrected bug while displaying models for pure SAT decision problems | 01 March 2018, 13:53:18 UTC |
| eedc4da | Fabien Delorme | 25 February 2018, 18:39:09 UTC | updated correct files for MAXSAT solving | 25 February 2018, 18:39:09 UTC |
| 553024f | Fabien Delorme | 23 February 2018, 22:00:53 UTC | updated doc for version 1.1 | 23 February 2018, 22:00:53 UTC |
| 3b32543 | Fabien Delorme | 23 February 2018, 20:17:29 UTC | updated maxsat package | 23 February 2018, 20:17:29 UTC |
| 2099dbe | Fabien Delorme | 23 February 2018, 20:14:53 UTC | updated solver.Interface | 23 February 2018, 20:14:53 UTC |
| 48e238b | Fabien Delorme | 23 February 2018, 20:09:14 UTC | improved watcher performance | 23 February 2018, 20:09:14 UTC |
| 90d697f | Fabien Delorme | 23 February 2018, 20:08:46 UTC | made bench names more consistent | 23 February 2018, 20:08:46 UTC |
| dd876bd | Fabien Delorme | 23 February 2018, 20:08:13 UTC | removed dead code | 23 February 2018, 20:08:13 UTC |
| e018e27 | Fabien Delorme | 23 February 2018, 20:07:48 UTC | fixed doc | 23 February 2018, 20:07:48 UTC |
| c4d34d3 | Fabien Delorme | 19 February 2018, 14:19:13 UTC | corrected bug in tests | 19 February 2018, 14:19:13 UTC |
| 3dcbd45 | Fabien Delorme | 19 February 2018, 14:17:55 UTC | updated clause_alloc's comments | 19 February 2018, 14:17:55 UTC |
| fc9e64a | Fabien Delorme | 19 February 2018, 14:17:16 UTC | corrected performance bug in solver: varDecay is now a variable local to the server rather than a global variable | 19 February 2018, 14:17:16 UTC |
| bd08992 | Fabien Delorme | 19 February 2018, 13:43:56 UTC | renamed args in Interface.Optimal | 19 February 2018, 13:43:56 UTC |
| eec75b4 | Fabien Delorme | 15 February 2018, 19:47:13 UTC | updated code to deal with solver.Interface's methods | 15 February 2018, 19:47:13 UTC |
| d58ae33 | Fabien Delorme | 15 February 2018, 15:14:02 UTC | updated executable to use Solver.Enumerate rather than Solver.CountModels | 15 February 2018, 15:14:02 UTC |
| 81e625b | Fabien Delorme | 15 February 2018, 15:13:08 UTC | added interface to abstract from Solver implementations | 15 February 2018, 15:13:08 UTC |
| df0e0a3 | Fabien Delorme | 14 February 2018, 13:05:46 UTC | added optim directory for dealing with maxsat problems | 14 February 2018, 13:05:46 UTC |
| a9f25b2 | Fabien Delorme | 14 February 2018, 12:53:34 UTC | removed dead code and added Optim method in Solver | 14 February 2018, 12:53:34 UTC |
| b6511d9 | Fabien Delorme | 09 February 2018, 11:24:34 UTC | fixed bug: ineffective break statement | 09 February 2018, 11:24:34 UTC |
| d334b9e | Fabien Delorme | 15 January 2018, 10:06:14 UTC | changed output to conform competition formats | 15 January 2018, 10:06:14 UTC |
| 41d3246 | Fabien Delorme | 26 December 2017, 17:22:26 UTC | added a few benchmarks | 26 December 2017, 17:22:26 UTC |
| 44f829d | Fabien Delorme | 20 December 2017, 10:47:35 UTC | update readme regarding versioning | 20 December 2017, 10:47:35 UTC |
| 2f53988 | Fabien Delorme | 20 December 2017, 09:27:25 UTC | fixed bug in model output when optimizing | 20 December 2017, 09:27:25 UTC |
| f0b7509 | Fabien Delorme | 20 December 2017, 09:26:39 UTC | fixed bug in header line parsing | 20 December 2017, 09:26:39 UTC |
