e99c3f2 | leberre | 19 April 2013, 12:09:31 UTC | [maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.ow2.sat4j.pom-2.3.4@2000 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 12:09:31 UTC |
cc4e7b8 | leberre | 19 April 2013, 12:09:26 UTC | [maven-release-plugin] prepare release org.ow2.sat4j.pom-2.3.4 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1999 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 12:09:26 UTC |
4ca2f5f | lonca | 19 April 2013, 11:08:37 UTC | removed a useless private method git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1998 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 11:08:37 UTC |
e3598e7 | lonca | 19 April 2013, 11:08:12 UTC | added an interface for backbone computers git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1997 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 11:08:12 UTC |
0ba3661 | leberre | 19 April 2013, 06:46:54 UTC | Moved UPL from minisat.core to specs package. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1996 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 06:46:54 UTC |
0d5002d | leberre | 19 April 2013, 06:46:29 UTC | Moved UPL from minisat.core to specs package. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1995 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 06:46:29 UTC |
39afaf5 | leberre | 19 April 2013, 06:25:29 UTC | Fixed statistics about imported units. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1994 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 06:25:29 UTC |
6c83fd7 | leberre | 18 April 2013, 19:29:07 UTC | Moved UnitPropagationListener from org.sat4j.minisat.core to org.sat4j.specs git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1993 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 19:29:07 UTC |
4ccafa7 | leberre | 18 April 2013, 19:20:23 UTC | Fix for SAT-101 required on reader: the IllegalStateException is now launching a ContradictionException. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1992 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 19:20:23 UTC |
50352dc | lonca | 18 April 2013, 14:17:30 UTC | Removed a class which became useless git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1991 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 14:17:30 UTC |
5737433 | leberre | 18 April 2013, 09:38:02 UTC | Added message on the console to tell that a proof is generated. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1990 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 09:38:02 UTC |
17689eb | leberre | 18 April 2013, 09:08:30 UTC | Added a parallel solver a la manysat for eight cores. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1989 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 09:08:30 UTC |
c749d9c | leberre | 18 April 2013, 08:57:39 UTC | Fixed import of unit clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1988 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 08:57:39 UTC |
308b9f3 | leberre | 18 April 2013, 08:46:00 UTC | Added statistics about the number of imported unit clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1987 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 08:46:00 UTC |
df9fc1e | leberre | 18 April 2013, 08:03:29 UTC | Remove unused field. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1986 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 08:03:29 UTC |
9d8fbc9 | leberre | 18 April 2013, 08:03:02 UTC | Fix for SAT95. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1985 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 08:03:02 UTC |
3b1d27f | leberre | 18 April 2013, 07:48:33 UTC | Added test case for SAT95 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1984 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 April 2013, 07:48:33 UTC |
6c383e1 | leberre | 17 April 2013, 21:41:04 UTC | Added missing method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1983 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2013, 21:41:04 UTC |
0be1b06 | leberre | 17 April 2013, 21:34:34 UTC | Removed debug messages. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1982 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2013, 21:34:34 UTC |
53cd957 | leberre | 17 April 2013, 21:11:40 UTC | Added missing setUnitClauseProvider. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1981 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2013, 21:11:40 UTC |
1230b8c | leberre | 17 April 2013, 21:05:52 UTC | Potential fix for SAT-101. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1980 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2013, 21:05:52 UTC |
ae3b5ee | leberre | 17 April 2013, 20:54:10 UTC | Added support for sharing unit clauses in parallel solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1979 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2013, 20:54:10 UTC |
c45a2b0 | leberre | 17 April 2013, 16:47:55 UTC | Added a new "learn unit" event in the search listener (see SAT-100 issue). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1978 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 April 2013, 16:47:55 UTC |
8f90c3c | leberre | 16 April 2013, 15:36:08 UTC | Implementation of SAT-99 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1977 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 April 2013, 15:36:08 UTC |
4ab609f | leberre | 16 April 2013, 15:00:55 UTC | Updated copyright date on console header. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1976 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 April 2013, 15:00:55 UTC |
cb4a199 | leberre | 16 April 2013, 14:59:36 UTC | Added a call to the search listener when a unit clause is derived. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1975 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 April 2013, 14:59:36 UTC |
9eef6cc | leberre | 16 April 2013, 08:22:57 UTC | Fixed some glitches in displaying available settings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1974 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 April 2013, 08:22:57 UTC |
c929fc4 | lonca | 11 April 2013, 08:47:43 UTC | Updated lexico helpers to use a more appropriate interface to be warned when a solution is found by an OptToPBSatAdapter git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1973 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 April 2013, 08:47:43 UTC |
6f4dde4 | lonca | 10 April 2013, 15:01:08 UTC | performance improvement, log improvement git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1972 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2013, 15:01:08 UTC |
f3e7b3c | lonca | 10 April 2013, 09:32:25 UTC | added forgotten license note git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1971 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2013, 09:32:25 UTC |
9ee785f | lonca | 10 April 2013, 09:30:27 UTC | Fixed a bug that made LexicoHelper hasASolution() method return return false in case a timeout occurred even if a solution was found. Did some refactoring, too. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1970 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 April 2013, 09:30:27 UTC |
e09f2a6 | leberre | 09 April 2013, 09:26:45 UTC | Call to modelWithInternalVariable git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1969 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2013, 09:26:45 UTC |
04ed1e9 | leberre | 09 April 2013, 09:26:11 UTC | Overridden modelWithInternalVariable() in LexicoDecorator. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1968 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2013, 09:26:11 UTC |
e050453 | lonca | 09 April 2013, 09:05:27 UTC | Changed visibility of some class in LexicoDecorator attributes to allow SteppedTimeoutLexicoDecorator to access them git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1967 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2013, 09:05:27 UTC |
d53ea3b | lonca | 09 April 2013, 08:39:48 UTC | Added a Lexico Decorator that allow timeout to be set for each objective function instead of being global. That is, the solver might not prove the optimality of criterion n before optimizing criterion (n+1). In this case, the optimization function of criterion (n+1) is replaced to match a Lexico optimization between criteria n and (n+1) For now, the timeout are the same for all optimization steps, we will soon provide a more complete mechanism. A Lexico Helper has been provided for this decorator to be used with Mancoosi benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1966 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 April 2013, 08:39:48 UTC |
fc2581d | lonca | 05 April 2013, 14:56:17 UTC | Did some changes to improve CLI and scenario reader git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1965 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 April 2013, 14:56:17 UTC |
aee08c0 | lonca | 05 April 2013, 13:25:34 UTC | Did some refactoring and provided an executable class to read "assumption scenarios" git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1964 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 April 2013, 13:25:34 UTC |
8238784 | lonca | 05 April 2013, 08:32:39 UTC | fixed a bug that made a solver display comments while not in verbose mode, in primeImplicant() method git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1963 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 April 2013, 08:32:39 UTC |
9f1afa6 | lonca | 05 April 2013, 08:12:08 UTC | Modified several classes for the Aralia problem to be encoded using Tseitin transformation git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1962 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 April 2013, 08:12:08 UTC |
cf0a30a | leberre | 01 April 2013, 09:58:50 UTC | Added a task to build br4cp archive. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1960 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2013, 09:58:50 UTC |
586edc1 | leberre | 01 April 2013, 09:57:42 UTC | First tools for BR4CP contributed by Emmanuel Lonca. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1959 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2013, 09:57:42 UTC |
0638ed2 | leberre | 01 April 2013, 09:51:14 UTC | Updated id references to org.ow2.sat4j instead of org.sat4j, to allow deployment on OW2 nexus instance. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1958 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 April 2013, 09:51:14 UTC |
71fa32c | lonca | 28 March 2013, 16:01:40 UTC | updated LF Converter git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1957 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 March 2013, 16:01:40 UTC |
82bbb00 | lonca | 28 March 2013, 15:07:55 UTC | updated LF converter git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1956 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 March 2013, 15:07:55 UTC |
0435204 | lonca | 27 March 2013, 16:00:06 UTC | added a new class that will be used to translate logic formulae to CNF using De Morgan laws. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1955 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 March 2013, 16:00:06 UTC |
b70bbce | lonca | 01 March 2013, 15:23:21 UTC | Added a call to the solution found listener unsat case when the optimization finishes normally git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1949 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 March 2013, 15:23:21 UTC |
379355d | lonca | 01 March 2013, 15:05:18 UTC | Added a possibility (via option "B") to launch both external and internal optimization in parallel git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1948 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 March 2013, 15:05:18 UTC |
a0564b3 | lonca | 01 March 2013, 15:04:28 UTC | modified the way OptToPBSATAdapter is performing optimization. The optimization is now carried out when calling isSatisfiable, no longer when calling model. There will be some consequences for the users : - currently, when the optimal solution cannot be computed (timeout raised), there was only a message in verbose mode. - now, a timeoutException will be launched when isSatisfiable is called, it will still be possible to retrieve the latest model computed by calling model. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1947 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 March 2013, 15:04:28 UTC |
3f9d751 | leberre | 19 February 2013, 21:19:34 UTC | Removed an assertion which is no longer true because a clause added on the fly, once asserted, can satisfy the literal of the clause derived by conflict analysis. Not sure if we should avoid that situation or if we should make do with it. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1946 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 21:19:34 UTC |
076d6b2 | leberre | 19 February 2013, 20:43:13 UTC | assertConstraintOfNeeded just calls assertConstraint: for PB, there is no difference between those two methods. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1945 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 20:43:13 UTC |
196c9af | leberre | 19 February 2013, 20:34:16 UTC | Added a new method assertConstraintIfNeeded to implement the specificity of asserting constraint added on the fly. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1944 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 20:34:16 UTC |
0ad8a9a | leberre | 19 February 2013, 16:56:49 UTC | Implemented assertConstraint in MinWatchCard (required for addXXOnTheFly). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1943 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 16:56:49 UTC |
7c43769 | leberre | 19 February 2013, 15:20:23 UTC | The solver now asks the constraint added on the fly that it should propagate itself before the constraint derived from the conflict analysis is propagated. This allows for instance to solve the issue where card constraint \sigma xi <= 0 is not propagating all \neg xi. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1942 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 15:20:23 UTC |
063cf69 | leberre | 19 February 2013, 10:37:30 UTC | Removed pi in maxsat. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1941 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 10:37:30 UTC |
196ac83 | leberre | 19 February 2013, 09:36:34 UTC | Removed pi in maxsat. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1940 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 February 2013, 09:36:34 UTC |
b9563be | leberre | 18 February 2013, 08:49:40 UTC | Removed subsumed constraint removal from PBSolver: the code is now in SearchOptimizerListener. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1939 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 February 2013, 08:49:40 UTC |
3abcd46 | leberre | 18 February 2013, 08:41:23 UTC | Remove subsumed constr inside internal optimizer. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1938 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 February 2013, 08:41:23 UTC |
f4d3e60 | lonca | 15 February 2013, 15:04:26 UTC | Fixed a bug that made internal optimization incorrect in case outReason contains last decision level literals which are farther on the trim that last decision level literals that are not contained by outReason git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1937 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 February 2013, 15:04:26 UTC |
38db68b | lonca | 15 February 2013, 10:31:17 UTC | Fixed a bug that made internal optimization incorrect in case multiple WatchPbLong literals were assigned at the same decision level git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1936 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 February 2013, 10:31:17 UTC |
322571d | leberre | 14 February 2013, 15:57:55 UTC | Added ow2 pom as parent pom git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1935 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 February 2013, 15:57:55 UTC |
a2ad80e | lonca | 14 February 2013, 13:54:12 UTC | displaying solution found counter at the end of the optimization process. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1934 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 February 2013, 13:54:12 UTC |
b8eaab8 | leberre | 13 February 2013, 23:47:37 UTC | Fix for SAT-91. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1933 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 February 2013, 23:47:37 UTC |
401a1a5 | sroussel | 13 February 2013, 08:00:33 UTC | Test that highlights a bug in the maximality of MSS computed in AllMUSes git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1929 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 February 2013, 08:00:33 UTC |
b887486 | leberre | 11 February 2013, 22:47:54 UTC | properly implemented fromLastDecisionLevel. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1927 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 22:47:54 UTC |
9798e24 | leberre | 11 February 2013, 15:21:46 UTC | Should have fixed efficiency pbm with WatchPbLong. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1926 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 15:21:46 UTC |
73cf398 | leberre | 11 February 2013, 13:06:50 UTC | Fixed efficiency issue in contains with addOnTheFlyXXX methods. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1924 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 13:06:50 UTC |
b964ca4 | leberre | 11 February 2013, 13:05:18 UTC | Fixed efficiency issue in contains with addOnTheFlyXXX methods. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1923 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 13:05:18 UTC |
7be29fe | leberre | 11 February 2013, 10:42:44 UTC | Fixed computeWatches. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1922 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 10:42:44 UTC |
72df021 | leberre | 11 February 2013, 09:09:09 UTC | Implemented calcReasonOnTheFly git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1921 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 09:09:09 UTC |
4a0e435 | leberre | 11 February 2013, 08:54:36 UTC | Uses MinWatchCard instead of AtLeast when creating card constraints on the fly. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1920 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 08:54:36 UTC |
856c86e | leberre | 11 February 2013, 08:53:37 UTC | implemented method register to allow creating constraints on the fly. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1919 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 08:53:37 UTC |
1f28c4b | leberre | 09 February 2013, 10:46:25 UTC | [maven-release-plugin] prepare for next development iteration git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1915 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 10:46:25 UTC |
6994f20 | leberre | 09 February 2013, 10:46:13 UTC | [maven-release-plugin] prepare release org.sat4j.pom-2.3.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1913 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 10:46:13 UTC |
c436770 | leberre | 09 February 2013, 09:55:20 UTC | remove \r for interactive display of the number of solution count: to breaks proper output of intermediate solutions in PB and MAXSAT. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1912 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 09:55:20 UTC |
a8b20a7 | leberre | 09 February 2013, 09:52:58 UTC | Avoid NPE when undoing a forget. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1911 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 09:52:58 UTC |
18b582a | leberre | 09 February 2013, 09:51:02 UTC | Avoid NPE when undoing a forget. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1910 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 09:51:02 UTC |
c386e5c | lonca | 08 February 2013, 08:35:11 UTC | removed a useless class member git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1906 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 February 2013, 08:35:11 UTC |
8dc163e | leberre | 07 February 2013, 20:09:41 UTC | Fixed missing generic type. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1905 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 20:09:41 UTC |
e97881a | leberre | 07 February 2013, 20:08:49 UTC | Removed unused local variable. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1904 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 20:08:49 UTC |
a2f02c8 | leberre | 07 February 2013, 20:07:38 UTC | Removed unused local variable. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1903 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 20:07:38 UTC |
5bd0b03 | leberre | 07 February 2013, 20:05:54 UTC | Removed unused bestmodel attribute. It looks like that bestFullmodel is not really used either? git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1902 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 20:05:54 UTC |
82ec583 | leberre | 07 February 2013, 20:00:00 UTC | Removed tracing from PB launcher. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1901 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 20:00:00 UTC |
cdc4563 | leberre | 07 February 2013, 14:55:02 UTC | Taking into account the polarity of the literal. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1900 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 14:55:02 UTC |
9fc7ce9 | leberre | 07 February 2013, 14:32:21 UTC | Fix NPE: call super.model() instead of model(). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1899 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 14:32:21 UTC |
db0eb71 | leberre | 07 February 2013, 14:27:51 UTC | Should have fixed properly the use of PI for displaying solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1898 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 14:27:51 UTC |
47656c5 | leberre | 07 February 2013, 14:02:40 UTC | Removed generic warnings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1897 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 14:02:40 UTC |
d1656a2 | leberre | 07 February 2013, 14:02:22 UTC | Multitracing is now generic. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1896 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 14:02:22 UTC |
833998d | leberre | 07 February 2013, 13:03:48 UTC | Implemented change in modelFound() git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1895 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 February 2013, 13:03:48 UTC |
df57dee | leberre | 06 February 2013, 23:17:13 UTC | Using the RandomAccessModel interface to compute more efficiently the value of the objective function. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1894 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 23:17:13 UTC |
5c7134f | leberre | 06 February 2013, 23:15:57 UTC | Added a new interface RandomAccessModel to efficiently retrieve the truth value of a Dimacs variable. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1893 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 23:15:57 UTC |
a21c046 | leberre | 06 February 2013, 17:20:23 UTC | Making the class final to allow hotspot to optimize the bytecode. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1892 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 17:20:23 UTC |
b140551 | leberre | 06 February 2013, 12:47:25 UTC | Using a SolutionFoundListener in the external iterator. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1888 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 12:47:25 UTC |
3ad79dd | leberre | 06 February 2013, 12:46:57 UTC | Using a single line to count the solutions. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1887 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 12:46:57 UTC |
270726a | leberre | 06 February 2013, 12:21:39 UTC | Prevent the solver to call model() when the problem is unsat. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1886 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 12:21:39 UTC |
e7ea7db | leberre | 06 February 2013, 12:05:50 UTC | Fixed duplicated call to access the property all. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1885 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 12:05:50 UTC |
644460c | lonca | 05 February 2013, 15:48:47 UTC | fixed a bug that added two constraints instead of one to discard a model while iterating solutions in the external way git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1881 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 February 2013, 15:48:47 UTC |
f0f492e | lonca | 05 February 2013, 15:47:31 UTC | fixed toString invocation of an array git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1880 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 February 2013, 15:47:31 UTC |
ba007ca | lonca | 01 February 2013, 10:30:57 UTC | added a way to process model enumeration from SAT solver in an external way (black box) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1877 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 February 2013, 10:30:57 UTC |
8cc7a3e | leberre | 01 February 2013, 06:43:44 UTC | Do not use glucose based constraints deletion strategy. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1876 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 February 2013, 06:43:44 UTC |
067b059 | leberre | 31 January 2013, 16:14:37 UTC | Fixed issue with trivial inconsistency. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1875 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 January 2013, 16:14:37 UTC |