ef69629 | leberre | 23 December 2010, 20:46:38 UTC | [maven-release-plugin] copy for tag org.sat4j.pom-2.2.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.3@833 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 December 2010, 20:46:38 UTC |
7e9c4da | leberre | 23 December 2010, 20:05:50 UTC | [maven-release-plugin] prepare release org.sat4j.pom-2.2.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@832 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 December 2010, 20:05:50 UTC |
7006e5a | leberre | 23 December 2010, 19:00:56 UTC | fixed the version of the plugin to be able to use maven release plugin. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@831 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 December 2010, 19:00:56 UTC |
f6117cd | leberre | 21 December 2010, 19:00:16 UTC | Fixed memory based solver (was no longer memory based). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@830 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 December 2010, 19:00:16 UTC |
aa2d86b | leberre | 21 December 2010, 11:05:18 UTC | Using equals instead of atmost when an optimal solution is found. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@829 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 December 2010, 11:05:18 UTC |
3d4aaba | leberre | 14 December 2010, 10:41:00 UTC | Another bug related to trivial inconsistency. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@828 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 December 2010, 10:41:00 UTC |
a46eaab | leberre | 13 December 2010, 21:36:54 UTC | Fixed a bug found during Misc Live #3 where the optimal solution is not found is a first criterion as optimal value of 0. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@827 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 December 2010, 21:36:54 UTC |
2279681 | leberre | 27 November 2010, 20:13:05 UTC | Implemented the missing method isOptimal. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@826 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 November 2010, 20:13:05 UTC |
8516c15 | leberre | 24 November 2010, 08:43:54 UTC | Added a toString() method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@825 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 November 2010, 08:43:54 UTC |
dc27215 | leberre | 23 November 2010, 23:21:16 UTC | Found a more elegant way to manage optimality in adapters. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@824 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2010, 23:21:16 UTC |
74dbe22 | leberre | 23 November 2010, 23:20:59 UTC | Found a more elegant way to manage optimality in adapters. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@823 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2010, 23:20:59 UTC |
235cb95 | leberre | 23 November 2010, 22:57:18 UTC | Does not longer rely on the underlying optimization problem to know if the solution is optimal or not. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@822 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2010, 22:57:18 UTC |
84f7a59 | leberre | 23 November 2010, 22:54:07 UTC | Does not longer rely on the underlying optimization problem to know if the solution is optimal or not. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@821 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2010, 22:54:07 UTC |
ce7c652 | leberre | 23 November 2010, 22:27:02 UTC | Provide support for knowing if a solution found is optimal or not in optimization problems. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@820 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2010, 22:27:02 UTC |
7d976aa | leberre | 23 November 2010, 22:26:38 UTC | Provide support for knowing if a solution found is optimal or not in optimization problems. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@819 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2010, 22:26:38 UTC |
e929d13 | leberre | 21 November 2010, 17:46:27 UTC | Allow the definition of lexicographic optimization criteria (using only cardinality constraints for the moment). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@818 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 November 2010, 17:46:27 UTC |
3d9b67a | leberre | 21 November 2010, 17:41:12 UTC | New solver decorator allowing to perform lexicographic optimization. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@817 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 November 2010, 17:41:12 UTC |
16dfe6e | leberre | 21 November 2010, 17:40:36 UTC | Use properly log prefix to display the winner. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@816 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 November 2010, 17:40:36 UTC |
bbaa889 | leberre | 20 November 2010, 21:52:22 UTC | Fix maven version tag to 2.2.3-SNAPSHOT. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@815 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2010, 21:52:22 UTC |
d1c08d2 | leberre | 20 November 2010, 21:49:46 UTC | Create resolution solver with simple simplification. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@814 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2010, 21:49:46 UTC |
a9333fe | leberre | 20 November 2010, 21:49:12 UTC | Added halfOr support. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@813 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2010, 21:49:12 UTC |
4258d21 | leberre | 20 November 2010, 21:48:42 UTC | Added halfOr translation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@812 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2010, 21:48:42 UTC |
5456928 | leberre | 20 November 2010, 21:48:25 UTC | Properly propagate setVerbose property. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@811 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 November 2010, 21:48:25 UTC |
fdb08db | leberre | 15 November 2010, 23:07:09 UTC | Fixed problem when displaying negated literals in the middle of a clause (was displayed positively). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@810 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 November 2010, 23:07:09 UTC |
59cce34 | daniel | 11 November 2010, 21:16:55 UTC | Added possibility to manage specifically the phase of the literals from the conflict decision level (as in Minisat 2.1). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@809 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2010, 21:16:55 UTC |
9e2e781 | daniel | 11 November 2010, 20:50:34 UTC | Using a better runtime type verification. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@808 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2010, 20:50:34 UTC |
dd560a6 | daniel | 11 November 2010, 20:49:01 UTC | Removed useless visibility modifiers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@807 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2010, 20:49:01 UTC |
de0fdca | daniel | 07 November 2010, 17:37:36 UTC | Removed commented line of code. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@802 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 November 2010, 17:37:36 UTC |
714bc62 | daniel | 07 November 2010, 16:09:47 UTC | Removed duplicated most duplicated code for output solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@801 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 November 2010, 16:09:47 UTC |
8a61911 | leberre | 06 November 2010, 13:37:32 UTC | Fixing case where unsetting a variable no longer present in the trail. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@800 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 November 2010, 13:37:32 UTC |
7454a1f | leberre | 28 October 2010, 14:37:22 UTC | Using smaller sleep time when a timeout is reached. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@799 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 14:37:22 UTC |
1fb0df4 | leberre | 28 October 2010, 11:46:53 UTC | manage properly tautologies. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@798 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 11:46:53 UTC |
624b9fb | leberre | 28 October 2010, 11:46:00 UTC | Make MS solver parallel. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@797 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 11:46:00 UTC |
0e8e9f1 | leberre | 28 October 2010, 09:34:07 UTC | Returning UnitClause/UnitClauses objects instead of null. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@796 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 09:34:07 UTC |
931827e | leberre | 28 October 2010, 09:33:03 UTC | undertimeout back to protected. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@795 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 09:33:03 UTC |
3dd6bab | leberre | 28 October 2010, 09:31:33 UTC | initialize back undertimeout to true at the beginning of isSatisfiabile else the expireTimeout() method no longer work on ManyCore. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@794 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 09:31:33 UTC |
108bfbc | leberre | 28 October 2010, 08:45:21 UTC | Reduced memory allocation during initialization. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@793 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 October 2010, 08:45:21 UTC |
935e084 | leberre | 27 October 2010, 14:03:04 UTC | Using assertEquals instead of assertTrue. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@792 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2010, 14:03:04 UTC |
b24ca84 | leberre | 27 October 2010, 14:02:18 UTC | Return an object when a unit weighted clause is found. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@791 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2010, 14:02:18 UTC |
f1a9a14 | leberre | 27 October 2010, 09:23:54 UTC | Display a message if a constraint is skipped in the multicore. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@790 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2010, 09:23:54 UTC |
e0334d2 | leberre | 26 October 2010, 14:37:50 UTC | Return an object in case of propagation of elements. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@789 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 October 2010, 14:37:50 UTC |
52a686c | leberre | 26 October 2010, 11:23:14 UTC | MinWatchCard now returns UnitClausesPB when all literals are propagated. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@788 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 October 2010, 11:23:14 UTC |
9348fb1 | leberre | 24 October 2010, 17:43:25 UTC | Better timeout handling during optimization. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@787 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 17:43:25 UTC |
cfaac9a | leberre | 24 October 2010, 16:36:16 UTC | CP solver now checks timeout during conflict analysis. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@786 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 16:36:16 UTC |
56a9b08 | leberre | 24 October 2010, 16:35:50 UTC | Allow conflict analysis to stop when timeout is reached. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@785 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 16:35:50 UTC |
ff0436b | leberre | 24 October 2010, 11:57:33 UTC | AtLeastPB now returns a UnitClausesPB object instead of null to be properly used in the context of PB optimization. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@784 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 11:57:33 UTC |
1bce9cc | leberre | 24 October 2010, 11:56:20 UTC | UnitClauses no longer final to allow its use in PB context. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@783 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 11:56:20 UTC |
0578027 | daniel | 24 October 2010, 11:14:34 UTC | Removed removeWatch() to ILits interface. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@782 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 11:14:34 UTC |
77452f4 | daniel | 24 October 2010, 11:01:50 UTC | Removed removeWatch() to ILits interface. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@781 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 October 2010, 11:01:50 UTC |
45c4c8e | leberre | 21 October 2010, 14:13:58 UTC | Using now a parallel solver for MaxSat. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@780 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2010, 14:13:58 UTC |
6441cf5 | leberre | 21 October 2010, 11:20:48 UTC | Allow to use a parallel PB solver for MaxSat. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@779 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2010, 11:20:48 UTC |
890d51a | leberre | 17 September 2010, 04:59:04 UTC | Using back glucose style memory management strategy in CuttingPlanes solver. Added a new CP solver called CuttingPlanesAggressiveCleanup. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@778 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 September 2010, 04:59:04 UTC |
ffe0c6a | leberre | 17 September 2010, 04:55:20 UTC | Improved implementation of the fixed size learned constraints deletion strategy (using a method with maxsize as a parameter). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@777 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 September 2010, 04:55:20 UTC |
711c95c | leberre | 13 September 2010, 18:15:58 UTC | Fixed additional prefix occurring in the output. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@776 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 September 2010, 18:15:58 UTC |
ff380e8 | leberre | 13 September 2010, 18:14:29 UTC | Added a solver that should be very close to the solver available in release 1.7. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@775 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 September 2010, 18:14:29 UTC |
801983e | leberre | 08 September 2010, 21:16:51 UTC | pom.xml are properly configured: 2.2.2-SNAPSHOT JDT compiler back in build.xml git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@774 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 September 2010, 21:16:51 UTC |
4039a9c | leberre | 08 September 2010, 20:43:31 UTC | Getting still a bit better: gory coding in clause minimization. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@773 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 September 2010, 20:43:31 UTC |
0cb0c6b | leberre | 08 September 2010, 20:27:32 UTC | Gory coding to get a 1/6 speedup on the raw solver. Should get back to release 1.7 level now! git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@772 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 September 2010, 20:27:32 UTC |
5dadf47 | leberre | 08 September 2010, 20:25:02 UTC | Fixed typo in the Javadoc. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@771 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 September 2010, 20:25:02 UTC |
400aeba | leberre | 07 September 2010, 21:18:58 UTC | returns a copy of the explanation vector instead of directly the solver field. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@770 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 September 2010, 21:18:58 UTC |
de92f33 | leberre | 07 September 2010, 20:58:22 UTC | Fixed warnings about serialVersionID with Eclipse compiler. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@769 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 September 2010, 20:58:22 UTC |
c99b420 | leberre | 07 September 2010, 20:47:49 UTC | Solver is no longer verbose by default so the launcher has to make it verbose. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@768 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 September 2010, 20:47:49 UTC |
a2b2e00 | leberre | 07 September 2010, 20:47:15 UTC | Solver is no longer verbose by default. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@767 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 September 2010, 20:47:15 UTC |
b9c0619 | leberre | 07 September 2010, 20:28:49 UTC | Added a test case to check the behavior of RemiUtils. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@766 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 September 2010, 20:28:49 UTC |
9e37268 | leberre | 07 September 2010, 20:25:43 UTC | Added a fix in the analysis of the final conflict to make sure that unit clauses are not removed after the procedure is applied. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@765 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 September 2010, 20:25:43 UTC |
ef4091b | leberre | 05 September 2010, 22:19:19 UTC | Fixed HT DS used in unregistered clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@764 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 September 2010, 22:19:19 UTC |
fea23b9 | leberre | 05 September 2010, 21:55:32 UTC | Made a clean DSF to simplify behavior checking. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@763 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 September 2010, 21:55:32 UTC |
0461686 | leberre | 01 September 2010, 15:58:34 UTC | Fixed bug occurring if the maxvarid is much bigger than the sum of the variables + the soft clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@762 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 September 2010, 15:58:34 UTC |
67b2e48 | leberre | 01 September 2010, 15:57:13 UTC | Allow unit clauses to be used in the original clause minimization procedure. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@761 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 September 2010, 15:57:13 UTC |
04c8f31 | leberre | 23 August 2010, 21:00:52 UTC | Removed reference to FirstUIP class. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@760 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 August 2010, 21:00:52 UTC |
ed40dbf | leberre | 23 August 2010, 21:00:15 UTC | Removed reference to FirstUIP class. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@759 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 August 2010, 21:00:15 UTC |
ea4eee7 | daniel | 23 August 2010, 14:11:03 UTC | Fixed a comment. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@758 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 August 2010, 14:11:03 UTC |
aaf1e3d | daniel | 22 August 2010, 17:40:49 UTC | Fixed wrong import. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@757 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 August 2010, 17:40:49 UTC |
1fe8be3 | leberre | 22 August 2010, 14:15:50 UTC | Fix line number reported in case of error in the input file. (the first line reported was 0, not 1). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@756 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 August 2010, 14:15:50 UTC |
da6c2f0 | leberre | 26 July 2010, 22:15:12 UTC | Several test cases showing a bug reported in the forum by Chris in action. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@755 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 July 2010, 22:15:12 UTC |
51934ea | leberre | 26 July 2010, 22:14:15 UTC | Fixed bugs reported in SAT4J forum by Chris. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@754 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 July 2010, 22:14:15 UTC |
52e300d | leberre | 26 July 2010, 16:02:41 UTC | git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@753 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 July 2010, 16:02:41 UTC |
ae74f22 | leberre | 26 July 2010, 16:02:21 UTC | Removed all code related to blocked literal. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@752 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 July 2010, 16:02:21 UTC |
b134d0b | leberre | 26 July 2010, 14:05:29 UTC | Updating shortcut whenever a new satisfied literal is found. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@751 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 July 2010, 14:05:29 UTC |
5f5a6c2 | leberre | 26 July 2010, 12:44:35 UTC | Using a shortcut literal in the clause. No more tricky management of literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@750 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 July 2010, 12:44:35 UTC |
5aa7bea | leberre | 23 July 2010, 15:57:50 UTC | watched literals are moved to two fields. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@749 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 July 2010, 15:57:50 UTC |
d5308e1 | leberre | 23 July 2010, 15:56:48 UTC | Fixed aggressive deletion strategy. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@748 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 July 2010, 15:56:48 UTC |
1b26388 | leberre | 23 July 2010, 08:27:52 UTC | Removed back the shortcut trick (need to clean up constraints). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@747 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 July 2010, 08:27:52 UTC |
7f6806c | leberre | 20 July 2010, 20:39:53 UTC | Fixed typos: clauses -> constraints git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@746 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 July 2010, 20:39:53 UTC |
0cafeb4 | leberre | 19 July 2010, 15:47:02 UTC | Using removeWatch instead of accessing watches().remove(). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@745 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 15:47:02 UTC |
867f015 | leberre | 19 July 2010, 15:44:01 UTC | Fixed correctness issue. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@744 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 15:44:01 UTC |
d3bdb75 | leberre | 19 July 2010, 14:42:43 UTC | fìxed bug: shortcuts no being cleared. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@743 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 14:42:43 UTC |
cffe640 | leberre | 19 July 2010, 10:59:52 UTC | Removed CB clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@742 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 10:59:52 UTC |
d412a09 | leberre | 19 July 2010, 10:59:35 UTC | Removed CB clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@741 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 10:59:35 UTC |
9d4b022 | leberre | 19 July 2010, 10:59:08 UTC | Removed CB clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@740 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 10:59:08 UTC |
2e4c55e | leberre | 19 July 2010, 10:58:42 UTC | Implemented short circuit for satisfied constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@739 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 July 2010, 10:58:42 UTC |
9ac6b05 | leberre | 18 July 2010, 17:57:52 UTC | Inlined FirstUIP implementation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@738 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 17:57:52 UTC |
3863a0b | leberre | 18 July 2010, 17:57:22 UTC | Inlined FirstUIP implementation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@737 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 17:57:22 UTC |
856310d | leberre | 18 July 2010, 17:57:06 UTC | Inlined FirstUIP implementation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@736 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 17:57:06 UTC |
c7013f6 | leberre | 18 July 2010, 17:55:25 UTC | Inlined FirstUIP implementation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@735 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 17:55:25 UTC |
8af397e | leberre | 18 July 2010, 10:59:16 UTC | Added res//CP under the name Both. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@734 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 10:59:16 UTC |
8cc3ffb | leberre | 18 July 2010, 10:58:43 UTC | Added support for Res//CP git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@733 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 10:58:43 UTC |
1ac28cd | leberre | 18 July 2010, 10:57:24 UTC | Added support for running solvers in parallel. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@732 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 10:57:24 UTC |
5363bef | leberre | 18 July 2010, 10:50:42 UTC | Fixes the number of constraints returned by nConstraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@731 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 July 2010, 10:50:42 UTC |
afff359 | leberre | 17 July 2010, 16:47:43 UTC | Added a resolution based solver with simple simplification. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@730 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 July 2010, 16:47:43 UTC |