1c188c2 | leberre | 23 June 2010, 15:41:32 UTC | creating the tag for 2.2.0 official release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0@725 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 June 2010, 15:41:32 UTC |
6e4a089 | leberre | 23 June 2010, 07:28:28 UTC | [maven-release-plugin] prepare release org.sat4j.pom-2.2.0 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@724 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 June 2010, 07:28:28 UTC |
1bcead9 | leberre | 17 June 2010, 20:07:20 UTC | Fixed dependencies. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@723 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 June 2010, 20:07:20 UTC |
c674007 | leberre | 17 June 2010, 19:31:48 UTC | Uses new version of ConstrGroup. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@722 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 June 2010, 19:31:48 UTC |
795ace8 | leberre | 17 June 2010, 19:31:07 UTC | Visibility for the second constructor to public. Added javadoc. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@721 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 June 2010, 19:31:07 UTC |
2f2d7d8 | leberre | 17 June 2010, 19:24:49 UTC | Added back feature preventing adding unit clauses in a group. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@720 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 June 2010, 19:24:49 UTC |
67de2cb | leberre | 17 June 2010, 07:53:32 UTC | Improved the lookup of binary product new vars. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@719 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 June 2010, 07:53:32 UTC |
3d2e734 | leberre | 11 June 2010, 16:18:13 UTC | Better solution. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@717 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2010, 16:18:13 UTC |
4979cf3 | leberre | 11 June 2010, 16:17:35 UTC | Fixed objective function format. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@716 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2010, 16:17:35 UTC |
4964bb7 | leberre | 31 May 2010, 12:26:23 UTC | reduces waiting time in order to have more chances to display a solution before being killed. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@715 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 May 2010, 12:26:23 UTC |
be43447 | leberre | 31 May 2010, 10:07:01 UTC | Fixed an issue. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@714 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 May 2010, 10:07:01 UTC |
0a0cd38 | leberre | 31 May 2010, 09:57:32 UTC | Need better synchronization once a solution is found! git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@713 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 May 2010, 09:57:32 UTC |
a57c094 | leberre | 31 May 2010, 09:54:01 UTC | improved management of multiple solution found. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@712 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 May 2010, 09:54:01 UTC |
117ff1f | leberre | 31 May 2010, 09:04:29 UTC | Make sure the solver notifies it did not finish when an exception occurs. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@711 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 May 2010, 09:04:29 UTC |
42f1ebd | leberre | 30 May 2010, 20:51:07 UTC | Added target to build the parallel PB solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@710 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 May 2010, 20:51:07 UTC |
39592e6 | leberre | 30 May 2010, 08:48:19 UTC | Allows the creation of parallel PB solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@709 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 May 2010, 08:48:19 UTC |
c17f84d | leberre | 29 May 2010, 22:51:49 UTC | Changes to allow arbitrary SolverFactory to be used. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@708 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 May 2010, 22:51:49 UTC |
6333edf | leberre | 29 May 2010, 22:51:10 UTC | Changes required for // solving. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@707 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 May 2010, 22:51:10 UTC |
ceb2ce8 | leberre | 29 May 2010, 18:58:12 UTC | simplified back calcReason. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@706 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 May 2010, 18:58:12 UTC |
f7f2513 | leberre | 29 May 2010, 14:44:41 UTC | Added long based weighted objects. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@705 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 May 2010, 14:44:41 UTC |
84f2a89 | leberre | 27 May 2010, 07:42:20 UTC | Probably fixed a problem in calcReason. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@704 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 May 2010, 07:42:20 UTC |
0004cc4 | leberre | 26 May 2010, 20:55:42 UTC | Flush stdout before displaying the results. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@703 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 May 2010, 20:55:42 UTC |
e7a51f6 | leberre | 26 May 2010, 13:11:50 UTC | Fixes trivial consistency in PB reader. Added all-in-one package for sat4j-pb. Using tycho jdt compiler in Maven. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@702 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 May 2010, 13:11:50 UTC |
33ce6c2 | leberre | 25 May 2010, 22:43:53 UTC | Better handling of soft/hard constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@701 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 May 2010, 22:43:53 UTC |
63239be | leberre | 25 May 2010, 22:34:46 UTC | Better handling of new variable ids for WBO. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@700 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 May 2010, 22:34:46 UTC |
7fe08e6 | leberre | 25 May 2010, 22:26:49 UTC | Fixed stupid bugs in the WBO encoding. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@699 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 May 2010, 22:26:49 UTC |
d60d112 | leberre | 25 May 2010, 21:13:54 UTC | Initial implementation of WBO for PB 2010 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@698 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 May 2010, 21:13:54 UTC |
21ddbaa | leberre | 24 May 2010, 21:32:19 UTC | Hide variables created during linearization while outputting a model. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@697 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 May 2010, 21:32:19 UTC |
4834c38 | leberre | 24 May 2010, 21:21:57 UTC | Fixed the checks for varId that was not correct in case of linearisation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@696 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 May 2010, 21:21:57 UTC |
11482d8 | leberre | 24 May 2010, 20:51:22 UTC | Display line number in case of error in the PB file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@695 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 May 2010, 20:51:22 UTC |
cd1ac4a | leberre | 24 May 2010, 20:12:12 UTC | Fixed some @since annotations. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@694 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 May 2010, 20:12:12 UTC |
034d524 | leberre | 28 April 2010, 22:10:00 UTC | Removed msuncore that appears on 3.0 branch. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@684 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 April 2010, 22:10:00 UTC |
b3be174 | daniel | 20 April 2010, 21:41:29 UTC | Increased timeout. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@683 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 April 2010, 21:41:29 UTC |
d91aedb | daniel | 20 April 2010, 20:40:57 UTC | Using decisionLevel() instead of trailLim.size() to make the code more readable. Made decisionLevel() method final to allow the JVM to inline that method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@682 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 April 2010, 20:40:57 UTC |
5793d45 | daniel | 20 April 2010, 20:10:25 UTC | Fixed a bug occurring in the Eclipse I and N-build. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@681 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 April 2010, 20:10:25 UTC |
7c47288 | daniel | 19 April 2010, 06:22:17 UTC | Throws an exception when the object passed to the getValueFor method is unknown to the solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@679 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2010, 06:22:17 UTC |
857414c | daniel | 17 April 2010, 15:32:25 UTC | Launch an IllegalArgumentException when asking for the varId of an unknown object. Return false when the value of an unknown object is requested. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@678 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2010, 15:32:25 UTC |
298c474 | daniel | 17 April 2010, 15:30:41 UTC | Fixed error when printing only negated literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@677 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2010, 15:30:41 UTC |
4dbb596 | parrain | 09 April 2010, 10:11:29 UTC | some comments added and dead code removed git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@676 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2010, 10:11:29 UTC |
bd46377 | leberre | 08 April 2010, 14:25:24 UTC | Do not launch IllegalStateException in setTrue if constr is null. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@675 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2010, 14:25:24 UTC |
7bc6534 | leberre | 08 April 2010, 11:49:19 UTC | Added a PB solver with a simple restart strategy (but Glucose style memory management). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@674 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 April 2010, 11:49:19 UTC |
a65f840 | leberre | 07 April 2010, 13:37:09 UTC | Default solver is returning ResolutionGlucose. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@673 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 April 2010, 13:37:09 UTC |
ec850b7 | leberre | 07 April 2010, 13:31:49 UTC | Made available a default solver with glucose memory management, and two resolution based solvers, one using glucose and one eating has much memory as possible. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@672 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 April 2010, 13:31:49 UTC |
a9730ba | leberre | 06 April 2010, 10:04:28 UTC | Removed glucose memory management for pb solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@671 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 April 2010, 10:04:28 UTC |
d507b07 | leberre | 06 April 2010, 09:47:43 UTC | Using glucose style memory management for default resolution based PB solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@670 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 April 2010, 09:47:43 UTC |
4df6fdd | daniel | 03 April 2010, 13:24:52 UTC | Added back the missing HT solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@669 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 April 2010, 13:24:52 UTC |
4f63e06 | daniel | 02 April 2010, 20:02:31 UTC | Using WL for default PB solving.Keep HT data structure for Eclipse PB solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@668 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 02 April 2010, 20:02:31 UTC |
20dc491 | leberre | 02 April 2010, 08:01:12 UTC | Fixed a nasty bug found by Luis. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@667 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 02 April 2010, 08:01:12 UTC |
94f114e | daniel | 01 April 2010, 20:41:31 UTC | Fixed copyright header. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@666 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2010, 20:41:31 UTC |
c2f964b | daniel | 21 March 2010, 21:01:29 UTC | Yet another fix in the explanation algorithm. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@665 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 March 2010, 21:01:29 UTC |
660759a | leberre | 21 March 2010, 19:30:58 UTC | Fixed issues with explanation within dependencyHelper. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@664 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 March 2010, 19:30:58 UTC |
b7ff94e | leberre | 21 March 2010, 17:45:18 UTC | Fixed issue with TestGroup failing test. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@663 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 March 2010, 17:45:18 UTC |
71f9401 | leberre | 21 March 2010, 17:28:44 UTC | removed wrong assertion. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@662 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 March 2010, 17:28:44 UTC |
09c38d2 | leberre | 21 March 2010, 16:56:19 UTC | Unified way to deal with explanation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@661 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 March 2010, 16:56:19 UTC |
300af13 | leberre | 20 March 2010, 22:52:27 UTC | Reverted back to classical MAXSAT decorator. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@660 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 22:52:27 UTC |
02f2196 | leberre | 20 March 2010, 22:51:24 UTC | Improved xplain procedure. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@659 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 22:51:24 UTC |
c38880d | leberre | 20 March 2010, 16:19:50 UTC | Should really work now. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@658 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 16:19:50 UTC |
20a33de | leberre | 20 March 2010, 15:51:23 UTC | Fixed algorithm. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@657 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 15:51:23 UTC |
100fb6c | leberre | 20 March 2010, 15:05:29 UTC | Fixed issue with empty negLits vector. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@656 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 15:05:29 UTC |
7e1ec58 | leberre | 20 March 2010, 14:57:32 UTC | Uses the unsat core approach for maxsat. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@655 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 14:57:32 UTC |
9622119 | leberre | 20 March 2010, 14:56:47 UTC | Creates an unsat core based solver for MAXSAT problems. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@654 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 14:56:47 UTC |
5faa068 | leberre | 20 March 2010, 13:48:38 UTC | Implement new unsatExplanation method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@653 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 13:48:38 UTC |
83696e3 | leberre | 20 March 2010, 13:25:43 UTC | Added @since tag to LightFactory. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@652 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 13:25:43 UTC |
5190bb4 | leberre | 20 March 2010, 13:15:32 UTC | Improved support for explanation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@651 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 13:15:32 UTC |
d495bdc | leberre | 20 March 2010, 13:15:05 UTC | Fixed test case. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@650 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 March 2010, 13:15:05 UTC |
789f017 | leberre | 05 March 2010, 07:30:29 UTC | updated build file to also update the date by next release of eclipse. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@649 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 March 2010, 07:30:29 UTC |
c12a530 | leberre | 05 March 2010, 06:46:06 UTC | Automatic update of SAT4J version number in about.html files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@648 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 March 2010, 06:46:06 UTC |
417ea4c | leberre | 04 March 2010, 23:35:43 UTC | Moved SAT4J version file to its proper place, within resources. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@647 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 March 2010, 23:35:43 UTC |
8f5ba8e | leberre | 04 March 2010, 23:19:13 UTC | Replacing version token in MANIFEST files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@646 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 March 2010, 23:19:13 UTC |
8b80aa8 | leberre | 04 March 2010, 17:08:37 UTC | Fixed reports conf files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@645 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 March 2010, 17:08:37 UTC |
260b107 | leberre | 04 March 2010, 09:19:15 UTC | fixed filtering settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@644 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 March 2010, 09:19:15 UTC |
6a8f924 | leberre | 04 March 2010, 08:38:45 UTC | Using eclipse compiler and jsr14 target. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@643 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 March 2010, 08:38:45 UTC |
b89c202 | leberre | 26 February 2010, 18:01:15 UTC | fixed pom with SNAPSHOT version. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@642 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 February 2010, 18:01:15 UTC |
90a3b3e | leberre | 26 February 2010, 17:56:40 UTC | Moved back to SNAPSHOT. Using sat4j email address for gpg signature of released artifacts. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@641 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 February 2010, 17:56:40 UTC |
d95005d | leberre | 26 February 2010, 17:05:00 UTC | Adding information in pom to deploy on sonatype oss nexus instance. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@640 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 February 2010, 17:05:00 UTC |
24fa47c | leberre | 24 February 2010, 21:45:11 UTC | [maven-release-plugin] prepare release 2_2_0 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@639 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 February 2010, 21:45:11 UTC |
a7ef76b | leberre | 24 February 2010, 07:54:07 UTC | [maven-release-plugin] prepare release org.sat4j.pom-2.2.0 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@638 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 February 2010, 07:54:07 UTC |
0817c0f | leberre | 24 February 2010, 07:40:14 UTC | [maven-release-plugin] prepare release 2.1.0-RC2 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@637 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 February 2010, 07:40:14 UTC |
9187739 | leberre | 17 February 2010, 08:46:40 UTC | The objective function is now normalized by default. It is possible to not normalize it. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@636 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 February 2010, 08:46:40 UTC |
4459932 | leberre | 17 February 2010, 08:37:19 UTC | Added a method to normalize objective functions (not tested yet). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@635 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 February 2010, 08:37:19 UTC |
90f5eb9 | leberre | 17 February 2010, 08:36:28 UTC | properly display domain objects in the objective function. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@634 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 February 2010, 08:36:28 UTC |
a920481 | leberre | 17 February 2010, 08:35:11 UTC | Add indexOf() methods to vector datatypes. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@633 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 February 2010, 08:35:11 UTC |
4293ac0 | leberre | 11 February 2010, 15:28:02 UTC | Glucose wall has now a min size of 10000 clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@632 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2010, 15:28:02 UTC |
39cd510 | leberre | 11 February 2010, 14:30:32 UTC | Using rapid restarts and phase saving for default PB solving. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@631 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2010, 14:30:32 UTC |
85387a1 | leberre | 11 February 2010, 14:28:37 UTC | The solver only restarts when the status is UNDEFINED. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@630 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2010, 14:28:37 UTC |
368589c | leberre | 11 February 2010, 14:11:43 UTC | Does not reset the restarting policy at each new solution found. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@629 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2010, 14:11:43 UTC |
25ab45d | leberre | 11 February 2010, 13:18:43 UTC | Limit the number of learned clauses to the number of original clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@628 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2010, 13:18:43 UTC |
a84320e | leberre | 27 January 2010, 21:49:23 UTC | Fixed FullAdder clause translation found in Enn and Sorensson JSAT 06 that is buggy! git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@627 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 January 2010, 21:49:23 UTC |
dd679a3 | leberre | 26 January 2010, 22:42:14 UTC | Added a first test for the adder encoding. Need much more. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@626 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2010, 22:42:14 UTC |
113d68e | leberre | 26 January 2010, 22:41:17 UTC | Added Een and Sorensson Minisat+ JSAT paper adder encoding for objective function. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@625 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2010, 22:41:17 UTC |
15d71f2 | leberre | 26 January 2010, 07:08:48 UTC | Implementing clause move to front as suggested by Armin Biere. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@624 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2010, 07:08:48 UTC |
56ef094 | leberre | 26 January 2010, 07:07:51 UTC | Using Armin Biere's glucose settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@623 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2010, 07:07:51 UTC |
14f7a72 | leberre | 23 January 2010, 22:23:04 UTC | ToString() method is delegated to the decorated solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@622 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2010, 22:23:04 UTC |
72ba07b | leberre | 23 January 2010, 22:22:35 UTC | Append the assumptions to the opb file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@621 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2010, 22:22:35 UTC |
783a8d7 | leberre | 23 January 2010, 14:04:54 UTC | Make sure that decoroators do work even if the solver is interrupted. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@620 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2010, 14:04:54 UTC |
43381e8 | leberre | 23 January 2010, 14:04:09 UTC | Xplain now checks if a model has really been found. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@619 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2010, 14:04:09 UTC |
39f4989 | leberre | 22 January 2010, 18:05:43 UTC | Added a test case related to the bug noticed with Eclipse. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@618 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2010, 18:05:43 UTC |
15e8d39 | leberre | 22 January 2010, 18:04:59 UTC | Remove literals with null coeff before nicing. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@617 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2010, 18:04:59 UTC |
37ec4cd | leberre | 14 January 2010, 20:47:08 UTC | Reverted change done after analyzing Mancoosi benchmarks: the results of the solver are worse after that change on SAT and PB. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@616 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 January 2010, 20:47:08 UTC |
a1ab39e | leberre | 14 January 2010, 20:46:03 UTC | Reverted change done after analyzing Mancoosi benchmarks: the results of the solver are worse after that change on SAT and PB. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@615 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 January 2010, 20:46:03 UTC |