7c73c5c | Mario Alviano | 15 December 2014, 13:58:57 UTC | Fix bug with upperbound: now it is computed for all soft literals, including those in lower levels. This should improve the hardening. Revise trim (to be extended later). | 15 December 2014, 13:58:57 UTC |
269a4a2 | Mario Alviano | 11 December 2014, 00:09:04 UTC | Add patch for glucose (call moreReason in analyze_final). | 11 December 2014, 00:09:04 UTC |
8e68089 | Mario Alviano | 10 December 2014, 23:57:29 UTC | Fix bug with update upper bound. Fix bug with moreReason (it was not called by analyze_final). | 10 December 2014, 23:57:29 UTC |
972e1e7 | Mario Alviano | 09 December 2014, 17:43:24 UTC | Remove warning. | 09 December 2014, 17:43:24 UTC |
f7e227a | Mario Alviano | 09 December 2014, 17:41:34 UTC | Add patch to glucose to handle reasons from propagators. | 09 December 2014, 17:41:34 UTC |
5bd0144 | Mario Alviano | 09 December 2014, 17:39:48 UTC | Lower bound is printed after reading the instance. Reasons coming from aggregates are handled by PBS. | 09 December 2014, 17:39:48 UTC |
2589b89 | Mario Alviano | 09 December 2014, 15:15:49 UTC | Minor. | 09 December 2014, 15:15:49 UTC |
96a716d | Mario Alviano | 09 December 2014, 15:11:22 UTC | Revise morePropagate(): now it is split into 4 methods. | 09 December 2014, 15:11:22 UTC |
207d6d4 | Mario Alviano | 09 December 2014, 14:16:36 UTC | Handle instances with no soft clauses. Also print "o" at the end just in case of instances with no core. | 09 December 2014, 14:16:36 UTC |
78b77a7 | Mario Alviano | 08 December 2014, 20:22:05 UTC | Fix bug with copyModel() due to useless cancelUntil(0). | 08 December 2014, 20:22:05 UTC |
06e1be5 | Mario Alviano | 08 December 2014, 17:25:11 UTC | Fix patch of glucose. | 08 December 2014, 17:25:11 UTC |
f60ed35 | Mario Alviano | 08 December 2014, 17:06:58 UTC | Remove commented instruction. | 08 December 2014, 17:06:58 UTC |
d5ba068 | Mario Alviano | 06 December 2014, 14:04:53 UTC | More trace. | 06 December 2014, 14:04:53 UTC |
c07c05d | Mario Alviano | 06 December 2014, 13:27:49 UTC | Add trace. | 06 December 2014, 13:27:49 UTC |
1ef1072 | Mario Alviano | 06 December 2014, 13:24:41 UTC | Solve one level at time. | 06 December 2014, 13:24:41 UTC |
174073e | Mario Alviano | 06 December 2014, 13:24:09 UTC | Update patch of glucose. | 06 December 2014, 13:24:09 UTC |
0ee8080 | Mario Alviano | 02 December 2014, 12:01:14 UTC | Move trim in a method. Add flag to force saturation of weights. | 02 December 2014, 12:01:14 UTC |
2edb4a2 | Mario Alviano | 26 November 2014, 12:28:05 UTC | Allow to disable disjunct cores. Change flag to --maxsat_disjcores. Possible values are no, pre (default), all. | 26 November 2014, 12:28:05 UTC |
3503d5f | Mario Alviano | 26 November 2014, 12:09:58 UTC | Improve reitereted disjunct cores. | 26 November 2014, 12:09:58 UTC |
56867f4 | Mario Alviano | 25 November 2014, 17:40:28 UTC | Handle repetitions of unit clauses in the input. Leave assumptions unsorted. | 25 November 2014, 17:40:28 UTC |
77a3847 | Mario Alviano | 25 November 2014, 16:35:54 UTC | A few information. | 25 November 2014, 16:35:54 UTC |
94962b1 | Mario Alviano | 25 November 2014, 16:32:06 UTC | Add -p to mkdir build. | 25 November 2014, 16:32:06 UTC |
bfbf406 | Mario Alviano | 25 November 2014, 16:30:09 UTC | Add gflags download and build. | 25 November 2014, 16:30:09 UTC |
e68f2a3 | Mario Alviano | 25 November 2014, 15:25:30 UTC | Handle input file from command-line. | 25 November 2014, 15:25:30 UTC |
a0af5b4 | Mario Alviano | 25 November 2014, 15:10:11 UTC | Improve handling of interrupts. | 25 November 2014, 15:10:11 UTC |
d04f8bf | Mario Alviano | 25 November 2014, 14:13:15 UTC | Rename flags. Add flag to deactivate reiterated disjoint soft cores. | 25 November 2014, 14:13:15 UTC |
e7fce1c | Mario Alviano | 25 November 2014, 13:53:01 UTC | Add prints for MaxSat. Fix bug with printModel. Fix bug with inVars in MaxSat. | 25 November 2014, 13:53:01 UTC |
d8dd5f0 | Mario Alviano | 25 November 2014, 11:52:13 UTC | Remove prints from glucose. Extend models before print. Improve checker of SAT testcases. | 25 November 2014, 11:52:13 UTC |
eabc0f8 | Mario Alviano | 25 November 2014, 10:56:08 UTC | Remove pthread library. Provide error message for unsupported ASP solver. | 25 November 2014, 10:56:08 UTC |
8b0198f | Mario Alviano | 25 November 2014, 10:47:23 UTC | Check if glucose has been downloaded. | 25 November 2014, 10:47:23 UTC |
29437be | Mario Alviano | 25 November 2014, 10:36:52 UTC | Move project to git. | 25 November 2014, 10:36:52 UTC |
b95ccdc | Mario Alviano | 25 November 2014, 10:11:13 UTC | Initial commit | 25 November 2014, 10:11:13 UTC |