| 66a86c6 | Fabien Delorme | 25 January 2024, 10:08:12 UTC | adding codemeta.json | 25 January 2024, 10:08:12 UTC |
| 716c836 | Fabien Delorme | 24 November 2023, 13:00:45 UTC | updating documentation for version 1.4 | 24 November 2023, 13:00:45 UTC |
| e62cc35 | Fabien Delorme | 24 November 2023, 13:00:21 UTC | using go modules | 24 November 2023, 13:00:21 UTC |
| 7ad9b3e | Fabien Delorme | 07 April 2023, 14:37:44 UTC | adding cutting planes | 07 April 2023, 14:37:44 UTC |
| 8b3e141 | Fabien Delorme | 07 April 2023, 14:35:33 UTC | adding luby sequence | 07 April 2023, 14:35:33 UTC |
| 3956765 | Fabien Delorme | 30 March 2023, 10:15:45 UTC | fixing bug in some instances where unit propagation didn't occur when parsing the problem | 30 March 2023, 10:15:45 UTC |
| 6e0ef6d | Fabien Delorme | 30 March 2023, 10:14:06 UTC | cleaning code | 30 March 2023, 10:14:06 UTC |
| 917552f | Fabien Delorme | 14 March 2023, 13:29:40 UTC | small improvements and dealing with AtMost1 cardinality constraints special case | 14 March 2023, 13:29:40 UTC |
| 13c3361 | Fabien Delorme | 13 March 2023, 12:34:15 UTC | code simplification and name fixing | 13 March 2023, 12:34:15 UTC |
| 39b152f | Fabien Delorme | 13 March 2023, 11:24:41 UTC | adding saturation when making PB constraint | 13 March 2023, 11:24:41 UTC |
| 9f817f8 | Fabien Delorme | 10 March 2023, 10:34:53 UTC | adding a function to simplify PB constraints | 10 March 2023, 10:34:53 UTC |
| ec5a96e | Fabien Delorme | 09 March 2023, 14:01:43 UTC | adding a few tests/benchmarks | 09 March 2023, 14:01:43 UTC |
| 1c29d90 | Fabien Delorme | 09 March 2023, 14:00:27 UTC | updating watchClause for PB constraints | 09 March 2023, 14:00:27 UTC |
| 89dfa68 | Fabien Delorme | 08 March 2023, 14:28:44 UTC | adding new pigeon-based benchmarks | 08 March 2023, 14:28:44 UTC |
| ff64437 | Fabien Delorme | 08 March 2023, 14:27:59 UTC | slight improvement computing slack value for PB constraints | 08 March 2023, 14:27:59 UTC |
| aa25d51 | Fabien Delorme | 08 March 2023, 12:08:14 UTC | renaming confusing symbol | 08 March 2023, 12:08:14 UTC |
| a178b83 | Fabien Delorme | 08 March 2023, 12:06:18 UTC | using modern syntax for big numeric constants | 08 March 2023, 12:06:18 UTC |
| d7439e0 | Fabien Delorme | 08 March 2023, 12:02:51 UTC | calling correct printing function | 08 March 2023, 12:02:51 UTC |
| c33d127 | Fabien Delorme | 08 March 2023, 12:01:21 UTC | removed GC tweaking since go's GC's performances improved | 08 March 2023, 12:01:21 UTC |
| 303eae2 | Fabien Delorme | 06 March 2023, 14:42:52 UTC | removed clause_alloc as it only improves performance on small instances but is detrimental on bigger ones | 06 March 2023, 14:42:52 UTC |
| 8b83715 | Fabien Delorme | 06 March 2023, 14:11:48 UTC | removing useless affectations | 06 March 2023, 14:11:48 UTC |
| b0e4fa3 | Fabien Delorme | 06 March 2023, 14:10:47 UTC | removing unused functions | 06 March 2023, 14:10:47 UTC |
| 327faf3 | Fabien Delorme | 06 March 2023, 14:04:36 UTC | fixed bug in CNF parser when missing empty line in the end | 06 March 2023, 14:04:36 UTC |
| 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 |
