Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/QuiltMC/quilt-loader-sat4j


https://github.com/QuiltMC/quilt-loader-sat4j

LearnedConstraintDeletionStrategy is now in its own Java file.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1179 ba638df5-4473-46d1-82f8-c...

535c71c561d69d4009594f00c84fe47eb8df2a7b authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implementation of the new restart strategy interface.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1178 ba638df5-4473-46d1-82f8-c...

a31c660ba29465e5932991cfafd147fda11118f1 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Restart strategy now allows easily the end user to choose how to restart.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1177 ba638df5-4473-46d1-82f8-c...

551e801fad2988f87cc1ef9a0730b626f4d88a44 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented a clauseDeletionStrategy based on the objective function.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1176 ba638df5-4473-46d1-82f8-c...

876f60ea451178f4afc4d5e8f59d7c8f7c1c2af3 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed visibility issue for accessing information from PBSolver.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1175 ba638df5-4473-46d1-82f8-c...

46c2c31e7b6ec53ec00fcc7f0bec39077acd72e0 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Promoted classes and interfaces available inside the Solver.java file into plain new type.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1174 ba638df5-4473-46d1-82f8-c...

cd1d4e669981b651b2ff3feea8ed5e09c77a9430 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made random number generator a static attribute: that way, several instances of the decorator will have different behavior (for Multicore for instance).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1173 ba638df5-4473-46d1-82f8-c...

38987ce9009409247d84e4e56605a04a6a1666fd authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected a few bugs

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1172 ba638df5-4473-46d1-82f8-c...

beae41dd492d483e4f771de6fa4477a4a473390b authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
As "smart" encodings have not been properly tested, the policy does not use them but calls methods from superclass

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1171 ba638df5-4473-46d1-82f8-c...

609c6a8adcbcc0e2320005adc59e62d859d7d2de authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Preliminary implementation of a LPStringSolver

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1170 ba638df5-4473-46d1-82f8-c...

939294d25db27b8a347dc6a8a4192e02b1791107 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed duplicated entries.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1169 ba638df5-4473-46d1-82f8-c...

2e8c2a5792b1fbddd8ad1247f30030f721ca4a91 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed an issue when the classes are bundled in a single jar file.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1168 ba638df5-4473-46d1-82f8-c...

06a61408520626080df12117531c3c9d5f92ea98 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added simplifiers customization

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1167 ba638df5-4473-46d1-82f8-c...

77238e194eaf81403b8020e8a64e13a8182541a8 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed method showAvailableSolvers: it can now take the framework of the factory (minisat or pb) into account and then displays "Available solvers for EnteredFramework"

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1166 ba638df5-4473-46d1-82f8-c...

aa61a1cab2cb7e9e968d530586a879432a5f34ce authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added trace option

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1165 ba638df5-4473-46d1-82f8-...

5f6856ccbc184aa36f341ba5cf2d9072bfca89f3 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added script to see live what's going on in Sat4j

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1164 ba638df5-4473-46d1-82f8-c...

4bb34fe348703a41e69039ab54679beabdb9855f authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added trace option

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1163 ba638df5-4473-46d1-82f8-c...

8ffe3b7e4206cd7eb481bb92633fd50fda7467da authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
used in Lanceur to detect classes that implements interfaces or abstract classes such as IOrder, ...

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1162 ba638df5-4473-46d1-82f8-c...

2cbf32f072824275948aba62fc5560e9ca16d3bd authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
new version:

- possibility to launch the solver in optimization mode
- displays available solvers, available...

a99aba20af0ccb7c633a7c5258db5d010ded8b90 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for UML graphs.

The javadoc now includes UML diagrams.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/ma...

c24769cb937422477b541a37436ac4e0b4766e94 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified "saturation" method in class ConflictMap : used the call to BigInteger.compareTo() to avoid the call to BigInteger.min().

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1159 ba638df5-4473-46d1-82f8-c...

d441474cdf73d3fc9d6fcdf9a4eec32f6d0564e2 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed error in the code (was using dimacs representation instead of internal).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1158 ba638df5-4473-46d1-82f8-c...

2dd71b6e65592c254d6e132c38a462aac6217ece authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
factored empty methods in class SearchListenerAdapter.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1157 ba638df5-4473-46d1-82f8-c...

0759bab271c4b20263a6d7a703ffdf7588d71948 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made the class public to be used in another module.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1156 ba638df5-4473-46d1-82f8-c...

aca25fcfc985a6f5c20255212d0f7dafa4b5374e authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added access to ISolverService in SearchListener. First implementation of that interface in ISolver for Nicole.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1155 ba638df5-4473-46d1-82f8-c...

2fe3ee222bbdaa3ddc88d289926aa51ccf8ea5e0 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Disabled back TestLonca because SAT08 is not fixed

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1154 ba638df5-4473-46d1-82f8-c...

c0a0acf96eb296bfc1725f40126d1a0a7228a28f authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Revert "Fix for SAT08 for MaxWatchPb only."

That commit actually breaks 15 functional tests. Need to investigate further what's happening.
Th...

1e3bc7acfbcf5dacb7ee314424cf8358dd36419d authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Set activity on the constraints if they are learned. Remove debug message.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1152 ba638df5-4473-46d1-82f8-c...

e4f5dda43edc62861d38cc06c0f0530fc2897310 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
useless class

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1151 ba638df5-4473-46d1-82f8-c...

30e46b0bc3afde2451c2ad019ae5f75a600b9b1b authored about 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed non UTF8 character.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1150 ba638df5-4473-46d1-82f8-...

b77950bb7ef8b962c2fb78cf722acaf22dd0525c authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
learnt is fixed to true for learnt PB-constraints.

comments added to ConflictMap class
one useless class deleted (ConflictMapMerging)

git-svn-id: s...

56ae15e74eb878d698255c2af55d003028308192 authored about 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
trying to compute as costless as possible slck of constraints.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1148 ba638df5-4473-46d1-82f8-c...

d861af7a5a6415eda76eac520f793b388f3b6f3e authored about 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed tracer name.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1147 ba638df5-4473-46d1-82f8-c...

930793453dd118d34100f8b4943db8a75c3bc0fc authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Tracer for keeping track of the size of learned clauses.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1146 ba638df5-4473-46d1-82f8-c...

fed4f87f978b7edaa9d28b6020fa363e3a191333 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed the visibility of some attribute for better use in PB solvers.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1145 ba638df5-4473-46d1-82f8-c...

fff2da4dfce3fd93c15b92d9a6de609a2de3ae65 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a call to the search listener for improved tracing.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1144 ba638df5-4473-46d1-82f8-c...

31431419ecf396daf600a6d939860d4493e277e2 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed tabu list decorator. Is now really limited to decision variables.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1143 ba638df5-4473-46d1-82f8-c...

a0eeb265bc48468603a96389485da006aa2e6dc1 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Providing now 4 different measures: conflict level, variable index, trail level and learned clause size.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1142 ba638df5-4473-46d1-82f8-c...

762d9b7d80cdbbb622dccb7af053275625443de8 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
A new file is created at each start.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1141 ba638df5-4473-46d1-82f8-c...

2449776fbe8a15a7a312ff7728b6a351ea27c95d authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with tabu list management.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1140 ba638df5-4473-46d1-82f8-c...

74348a15e5d6ee29274b80d1ce540daaa084a8e4 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Two new tracers for improved monitoring of what's going on in the solver.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1139 ba638df5-4473-46d1-82f8-c...

4e9640b41a0ea7caaa0279320f5206c6eacf7c1d authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses a Tabu List to prevent the heuristic to use again and again the same decision variables.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1138 ba638df5-4473-46d1-82f8-c...

a9acf6bf07b8613dff7f2343ffacbd320c3c7eeb authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT-56.

Prefixing the name of a solver by Trace will enable Tracing mode in the solver.

git-svn-id: svn...

e38aafd4506ec25b8c2aab80ad1aeccdb6d393ed authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added objective function length to the console.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1136 ba638df5-4473-46d1-82f8-c...

f08a42dfc49eb7b7605f6f44d621bd56387f1d5e authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Checking if timer is null for SAT-55.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1135 ba638df5-4473-46d1-82f8-c...

b17cd58384e045642fd6bfe7479108d97364723b authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Potential fix for SAT-55.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1134 ba638df5-4473-46d1-82f8-c...

db94988f64e14c86cd0758817eceda7e679ab4a1 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allows the user to ask a trace of the solver's search.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1133 ba638df5-4473-46d1-82f8-c...

4a8f30cb77ff00d3b5d9d533fc500c05bc74c22c authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
calculateDegree(int[] model) come back as it seems to be necessary for multicriteria computations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1132 ba638df5-4473-46d1-82f8-c...

7c68372ddabe1ba4403c4caec2186b01740935c0 authored about 13 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
New class to allow several search listeners.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1131 ba638df5-4473-46d1-82f8-c...

e08191925d31089e85622f4dea7b2272ca853e76 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
bug fixed in calcReason.

sum of coefficients of pb-constraint is computed only once.

git-svn-id: svn+ssh://svn.forge.ow2....

ee327f425b594478433a1b17df8e1eceee4f33b1 authored about 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved Javadoc of constructors.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1129 ba638df5-4473-46d1-82f8-c...

9978e109face8f058a4879e4d8730314e139474e authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow Lower bounding on the command line: by prefixing the name of the solver by "Lower", the LowerBounding procedure will be used instead of of the upper bounding one.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1128 ba638df5-4473-46d1-82f8-c...

6cabb54f0ae970376f3273bbfea54add6be4c108 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Computing stronger explanations for Pseudo Boolean Constraints.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1127 ba638df5-4473-46d1-82f8-c...

5c42c1a6a040fff8f742ad69ce65721cd195a723 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added test cases for SAT-50.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1126 ba638df5-4473-46d1-82f8-c...

de92cf0ed82d638cb7d86a1db60a641e61af2b1c authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to throw a TimeoutException when the decision cannot be made from the set of literals.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1125 ba638df5-4473-46d1-82f8-c...

2a9d6c9ca4ef1fed7e8cac600974efd2297b2364 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test case for feature request SAT-50.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1124 ba638df5-4473-46d1-82f8-c...

fc753a3e5d999fb7be5c3e7849ef3c7b218b9405 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
NEw heuristics that allow to limit the variables to decide on (SAT-50).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1123 ba638df5-4473-46d1-82f8-c...

6b8c9b781b78830c5ad720b3d51cddcd28996e25 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to decide on a subset of variables (SAT-50).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1122 ba638df5-4473-46d1-82f8-c...

aa44b17a12a5fa5debfb6bb51f53d615661c2420 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed calcReason.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1121 ba638df5-4473-46d1-82f8-c...

59e07dd4f3cb4bb3f6d24c23326b50152a971197 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed site.xml to have inherited menu in maven generated site.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1120 ba638df5-4473-46d1-82f8-...

255f99c578f5bcdfdf640e93d6c50d6d773f9031 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare for next development iteration

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1119 ba638df5-4473-46d1-82f8-c...

8fa18e95ecc2d8e46ca5aca64c318e902b221192 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.sat4j.pom-2.3.1

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1117 ba638df5-4473-46d1-82f8-c...

988417014151fa7d00a7d58a0e6c52169f02a19b authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated developers and issue traker address.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1116 ba638df5-4473-46d1-82f8-...

f213edf748f5563be229faa345863535ee531161 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made DeletionStrategy the default in Xplain.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1115 ba638df5-4473-46d1-82f8-c...

e8e16d4cbbcf1009a097277ec05630e0d13a515b authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
model(int) allows to retrieve the truth value of all variables, not only the one from the user.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1114 ba638df5-4473-46d1-82f8-c...

c8703f14a8d932945a370238939e09f3c2213c69 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Generalized the use of the WMS decorator to be able to solve all maxsat problems with upper bounding or lower bounding.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1113 ba638df5-4473-46d1-82f8-c...

40f4817c280a4a9aee7f22aa9ee45de03b15cbd9 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Avoid creating useless instances of UnitWeightedClause class.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1112 ba638df5-4473-46d1-82f8-c...

c5cade4510818acc9de13b43e3d5d33b4f2f7df6 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved the way the value of the objective function is computed.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1111 ba638df5-4473-46d1-82f8-c...

047be688c39041c63784fb6bf6cf56f175242e6b authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Provide statistics about satisfied constraints.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1110 ba638df5-4473-46d1-82f8-c...

6359ad1db1f043dc1a6581f19eb7c3ccb41c1b80 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated javadoc.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1109 ba638df5-4473-46d1-82f8-c...

81ab069f3c23a802d2ce34579affc7700e0e6fa3 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back the wall for small maxsat benchmarks.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1108 ba638df5-4473-46d1-82f8-c...

efef70a0b27da88360bffd0581fec6a0b113cd3d authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed messages to be displayed only in verbose mode.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1107 ba638df5-4473-46d1-82f8-c...

11958ec78b544df641641b5e438dbc5a3390a39c authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added message on the console about the optimization scheme (upper/lower).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1106 ba638df5-4473-46d1-82f8-c...

f4d742bfb0690ab4d788702de7ee07a8a2eaa9ee authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using solver instead of problem, to make it work properly in the optimization case.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1105 ba638df5-4473-46d1-82f8-c...

3bfe4dc87acec771bbef300469c71436e43f66c9 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated test cases.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1104 ba638df5-4473-46d1-82f8-c...

5e779ac427e322de90ff31d08fcc5de876d357e7 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow both lower and upper bound for WPMS.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1103 ba638df5-4473-46d1-82f8-c...

9f6f4039e2f43d58a86cec0fd6176f5d9049fd36 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow both lower and upper bound for WPMS.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1102 ba638df5-4473-46d1-82f8-c...

7e21f87e05f18eb44ec9c7d5ca4e42fb9617400d authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated framework to allow both upper bound and lower bound search.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1101 ba638df5-4473-46d1-82f8-c...

a424328fe59002466ed8a01cd9f14769a9e5c08b authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Keeping expensive reason simplification for MaxSat solvers.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1100 ba638df5-4473-46d1-82f8-c...

f100f6d5c2eba258521c34a85062b34e0487346f authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
allow the launcher to work with compressed files.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1099 ba638df5-4473-46d1-82f8-c...

3c4e0a2843b9bcaf86d4cd8e880d6229d0620aad authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
allow the launcher to work with compressed files.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1098 ba638df5-4473-46d1-82f8-c...

8d1bddcc8e5b63a87ac073d056ffeb6f66b5e801 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure the literal is registered when it is moved from the CNF to the optimization function.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1097 ba638df5-4473-46d1-82f8-c...

0a7e0025b5144af864a4a9b40b3633197bcda672 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new method registerLiteral() to force the solver to output a literal in a model even if it is not already available in a CNF.

The nice property of the current implementation is that it will automatically find the right valu...

d3de62906de53041eaa2318bad0e4b77d5f3c8fc authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Use of a HashMap structure is now related to the size of the constraint

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1095 ba638df5-4473-46d1-82f8-c...

60f4a31514d052c959cec55fa562d50d0e00e5b1 authored about 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the decorator when the minimal value is negative.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1094 ba638df5-4473-46d1-82f8-c...

a7cd9de679c74faaae9258018f537e847a66a836 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix for NPE in tests after calling unset.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1093 ba638df5-4473-46d1-82f8-c...

e3e5d6e4876d5382534a0b216278dc09e260d50c authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
initial fix for SAT-44

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1092 ba638df5-4473-46d1-82f8-c...

fa5e6aefd33e4306db95e414d88ab03b7afa14db authored about 13 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix NPE in decode method.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1091 ba638df5-4473-46d1-82f8-c...

e0a818323420d631f5fefd50a80ed24515c64d9c authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Yet another fix for bug SAT8.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1090 ba638df5-4473-46d1-82f8-c...

f1c0fda3c96e16bf6783ce40b0d948bd1eeba400 authored about 13 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated javadoc.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1089 ba638df5-4473-46d1-82f8-c...

ca018c46e213c29880c6ff8b4d8b82dcf9507646 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
A few changes regarding IVecInt.subset(). Now returns an array of IVecInt, no longer a VecInt.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1088 ba638df5-4473-46d1-82f8-c...

7fd45604e7d93139a280ae95751eca25fba6933e authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated javadoc.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1087 ba638df5-4473-46d1-82f8-c...

42ca7afea3a5122f84d818f12a57e58e0385f212 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-38: Investigate usage of plain CNF rather than custom cardinality of PB constraints

http://jira.ow2.org/browse/SAT-38
- added subset method in IVecInt
- improved implementation of S...

bfeb56f00e93b406d3af0a3726c0fc5b2b8f943e authored about 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
enabled TestLonca

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1085 ba638df5-4473-46d1-82f8-c...

c6db9352c72ded75daed7d5829639ac653269bab authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT08 for MaxWatchPb only.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1084 ba638df5-4473-46d1-82f8-c...

a2dc8e438172309f90daf0561357c798cd4b1044 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new test cases to check that basic expected behavior is happening.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1083 ba638df5-4473-46d1-82f8-c...

76abafaff632220a72a5378008e7db493e5f9d4b authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the implementation of get(int)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1082 ba638df5-4473-46d1-82f8-c...

c9bcc7520686a9edb96f82ecee8bbeb55237425a authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed warnings.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1081 ba638df5-4473-46d1-82f8-c...

94fee89e4a906ab4e99e96ced558bda548a47aff authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The solver now returns the number of vars available in the solver when the method newVar() is not called.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1080 ba638df5-4473-46d1-82f8-c...

57da332f50a0bef4fa7bf1355a4bd36015549969 authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved back the tests without calls to newVar() now that the implementation preserves backward compatibility.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1079 ba638df5-4473-46d1-82f8-c...

2dc47ced5511deb807d7d824565273332474310a authored about 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>