The Quilt Project commits | Ecosyste.ms: OpenCollective

Fixed timer issues in solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 94f22121177e31ae6031f7036e94967ec34db0c8 authored almost 13 years ago

Added the restarter to the conflict timer.

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

github.com/QuiltMC/quilt-loader-sat4j - eec1bcbf5a1e6ae6fc907ce1176d17eda2a080a4 authored almost 13 years ago

Customized

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

github.com/QuiltMC/quilt-loader-sat4j - 1bae9b71601a2ba1df24800e5c3b9219b4de0022 authored almost 13 years ago

Added a convenience method to display the information on a writer.

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

github.com/QuiltMC/quilt-loader-sat4j - f53b4a1fff7952de7c4220851913f903082be11b authored almost 13 years ago

Customization : when the solver has found an optimal solution, it is displayed on the console.

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

github.com/QuiltMC/quilt-loader-sat4j - d168b442341296ed3e53b687078362b7184c3176 authored almost 13 years ago

Added hasObjectiveFunction method

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

github.com/QuiltMC/quilt-loader-sat4j - ce0a1a80535f2a54b8b59d483f29e79a3147f992 authored almost 13 years ago

Added a new method to get the value of the objective function from the adapter.

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

github.com/QuiltMC/quilt-loader-sat4j - 4827f633cc2d4e9fd053caa01a996ced66ac08a6 authored almost 13 years ago

Refactor names

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

github.com/QuiltMC/quilt-loader-sat4j - 9fcd96932e28283295ae9c61fa91484cb042c68c authored almost 13 years ago

Added ilog interface

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

github.com/QuiltMC/quilt-loader-sat4j - e997cfd7911d0e310ff7394d754097e02a5558ef authored almost 13 years ago

added a conditional timer!=null in search method (when testing global...)

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

github.com/QuiltMC/quilt-loader-sat4j - 1efce193af2a2de47ebbc229648ac56549c0b26e authored almost 13 years ago

Ficed Luby Restart strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - dbf76ee74133c8b22e4dd291ba4f29099846396c authored almost 13 years ago

Customized Remote Control

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

github.com/QuiltMC/quilt-loader-sat4j - b0cf17a31e8173df0ac22dbeea4d714b5098012e authored almost 13 years ago

Changed DEFAULT_LUBY_FACTOR visibility : was private and is now public.

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

github.com/QuiltMC/quilt-loader-sat4j - 7725677a79e6da22bbab5389e8baac3da6a8a8e4 authored almost 13 years ago

Added toString():String method

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

github.com/QuiltMC/quilt-loader-sat4j - d9153f08029c677241131cbb3014c336c378ccaf authored almost 13 years ago

Added getters/setters to the attribute p of RandomWalkDecorator => removed final feature for this attribute

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

github.com/QuiltMC/quilt-loader-sat4j - fe7040b99ff3c787c6ef10c878c5e7702330f1ed authored almost 13 years ago

Added getRestartStrategy() method to ICDCL. Modified Solver in consequence.

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

github.com/QuiltMC/quilt-loader-sat4j - 1f23df9ff88bb0428d953a7495d316d51302fb85 authored almost 13 years ago

Modified TelecommandeStrategy so that Norestarts is now the default strategy. Modified CommandeDetailleePanel in consequence.

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

github.com/QuiltMC/quilt-loader-sat4j - 7076f213ed44efb39adf700d7d9f037ddbc8cc94 authored almost 13 years ago

Now contains a CommandeDetailleePanel

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

github.com/QuiltMC/quilt-loader-sat4j - f80a0455630b8828ae4e35f5fd1cd2b86fa82b25 authored almost 13 years ago

Changed the class so that it now encapsulates a RestartStrategy.

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

github.com/QuiltMC/quilt-loader-sat4j - 1a8f92741f2928ccc6ab71466b48d8ec14efd40b authored almost 13 years ago

New remote control command panel that offers more flexibility than CommandePanel.

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

github.com/QuiltMC/quilt-loader-sat4j - 15bea9acc2b1598027f6a8d1ccffedf1ee16624f authored almost 13 years ago

Modified visibility of method setNeedToReduceDB in order to implement ICDCL interface: was protected and is now public.

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

github.com/QuiltMC/quilt-loader-sat4j - 78dc5c722ac51a7be4bf8b2934ba119b3d4932b0 authored almost 13 years ago

Added method setNeedToReduceDB in order to allow the remote control to clean learnt clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 2af435475edfa7aac7ba1688227250bb42c7fe92 authored almost 13 years ago

Added comments at beginning of classes

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

github.com/QuiltMC/quilt-loader-sat4j - 65c30cf4c47312b97def998a15dbe74dd54edea0 authored almost 13 years ago

Added comments to this interface

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

github.com/QuiltMC/quilt-loader-sat4j - 5348e838fb41daf0dbde1952f15a435ef8e076af authored almost 13 years ago

Created the solver remote controller (restart and clean options)

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

github.com/QuiltMC/quilt-loader-sat4j - 5351e56d19df8a6093cb981747dd89d35aafe149 authored almost 13 years ago

Created the class IPBCDCL interface that extends PBSolver and ICDCL. Modified PBSolver so that it implements this interface instead of PBSolver.

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

github.com/QuiltMC/quilt-loader-sat4j - 0c1c080780eaaef7a17f05a8ef25bda6f6beea9b authored almost 13 years ago

Changed return type of newDefault method: was IPBSolver and is now PBSolver

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

github.com/QuiltMC/quilt-loader-sat4j - 13b37201215ee743688048cdcd1f9a43d7b5f4df authored almost 13 years ago

Fixed tests cases.

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

github.com/QuiltMC/quilt-loader-sat4j - e105d647507a5767c9df5f5245931af296cdc1a8 authored almost 13 years ago

LearnedConstraintDeletionStrategy is now in its own Java file.

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

github.com/QuiltMC/quilt-loader-sat4j - 60060ad82a3c6b6a8846c59e0917cc1b50c01240 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 535c71c561d69d4009594f00c84fe47eb8df2a7b authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - a31c660ba29465e5932991cfafd147fda11118f1 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 551e801fad2988f87cc1ef9a0730b626f4d88a44 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 876f60ea451178f4afc4d5e8f59d7c8f7c1c2af3 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 46c2c31e7b6ec53ec00fcc7f0bec39077acd72e0 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - cd1d4e669981b651b2ff3feea8ed5e09c77a9430 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 38987ce9009409247d84e4e56605a04a6a1666fd authored almost 13 years ago

Corrected a few bugs

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

github.com/QuiltMC/quilt-loader-sat4j - beae41dd492d483e4f771de6fa4477a4a473390b authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 609c6a8adcbcc0e2320005adc59e62d859d7d2de authored almost 13 years ago

Preliminary implementation of a LPStringSolver

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

github.com/QuiltMC/quilt-loader-sat4j - 939294d25db27b8a347dc6a8a4192e02b1791107 authored almost 13 years ago

Removed duplicated entries.

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

github.com/QuiltMC/quilt-loader-sat4j - 2e8c2a5792b1fbddd8ad1247f30030f721ca4a91 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 06a61408520626080df12117531c3c9d5f92ea98 authored almost 13 years ago

added simplifiers customization

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

github.com/QuiltMC/quilt-loader-sat4j - 77238e194eaf81403b8020e8a64e13a8182541a8 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - aa61a1cab2cb7e9e968d530586a879432a5f34ce authored almost 13 years ago

added trace option

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

github.com/QuiltMC/quilt-loader-sat4j - 5f6856ccbc184aa36f341ba5cf2d9072bfca89f3 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 4bb34fe348703a41e69039ab54679beabdb9855f authored almost 13 years ago

added trace option

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

github.com/QuiltMC/quilt-loader-sat4j - 8ffe3b7e4206cd7eb481bb92633fd50fda7467da authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 2cbf32f072824275948aba62fc5560e9ca16d3bd authored almost 13 years ago

new version:

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

github.com/QuiltMC/quilt-loader-sat4j - a99aba20af0ccb7c633a7c5258db5d010ded8b90 authored almost 13 years ago

Added support for UML graphs.

The javadoc now includes UML diagrams.

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

github.com/QuiltMC/quilt-loader-sat4j - c24769cb937422477b541a37436ac4e0b4766e94 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - d441474cdf73d3fc9d6fcdf9a4eec32f6d0564e2 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 2dd71b6e65592c254d6e132c38a462aac6217ece authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 0759bab271c4b20263a6d7a703ffdf7588d71948 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - aca25fcfc985a6f5c20255212d0f7dafa4b5374e authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 2fe3ee222bbdaa3ddc88d289926aa51ccf8ea5e0 authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - c0a0acf96eb296bfc1725f40126d1a0a7228a28f authored almost 13 years ago

Revert "Fix for SAT08 for MaxWatchPb only."

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

github.com/QuiltMC/quilt-loader-sat4j - 1e3bc7acfbcf5dacb7ee314424cf8358dd36419d authored almost 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - e4f5dda43edc62861d38cc06c0f0530fc2897310 authored almost 13 years ago

useless class

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

github.com/QuiltMC/quilt-loader-sat4j - 30e46b0bc3afde2451c2ad019ae5f75a600b9b1b authored about 13 years ago

Removed non UTF8 character.

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

github.com/QuiltMC/quilt-loader-sat4j - b77950bb7ef8b962c2fb78cf722acaf22dd0525c authored about 13 years ago

learnt is fixed to true for learnt PB-constraints.

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

git-svn-id: s...

github.com/QuiltMC/quilt-loader-sat4j - 56ae15e74eb878d698255c2af55d003028308192 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - d861af7a5a6415eda76eac520f793b388f3b6f3e authored about 13 years ago

Renamed tracer name.

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

github.com/QuiltMC/quilt-loader-sat4j - 930793453dd118d34100f8b4943db8a75c3bc0fc authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - fed4f87f978b7edaa9d28b6020fa363e3a191333 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - fff2da4dfce3fd93c15b92d9a6de609a2de3ae65 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 31431419ecf396daf600a6d939860d4493e277e2 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - a0eeb265bc48468603a96389485da006aa2e6dc1 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 762d9b7d80cdbbb622dccb7af053275625443de8 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 2449776fbe8a15a7a312ff7728b6a351ea27c95d authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 74348a15e5d6ee29274b80d1ce540daaa084a8e4 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 4e9640b41a0ea7caaa0279320f5206c6eacf7c1d authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - a9acf6bf07b8613dff7f2343ffacbd320c3c7eeb authored about 13 years ago

Fix for SAT-56.

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

git-svn-id: svn...

github.com/QuiltMC/quilt-loader-sat4j - e38aafd4506ec25b8c2aab80ad1aeccdb6d393ed authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - f08a42dfc49eb7b7605f6f44d621bd56387f1d5e authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - b17cd58384e045642fd6bfe7479108d97364723b authored about 13 years ago

Potential fix for SAT-55.

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

github.com/QuiltMC/quilt-loader-sat4j - db94988f64e14c86cd0758817eceda7e679ab4a1 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 4a8f30cb77ff00d3b5d9d533fc500c05bc74c22c authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 7c68372ddabe1ba4403c4caec2186b01740935c0 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - e08191925d31089e85622f4dea7b2272ca853e76 authored about 13 years ago

bug fixed in calcReason.

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

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

github.com/QuiltMC/quilt-loader-sat4j - ee327f425b594478433a1b17df8e1eceee4f33b1 authored about 13 years ago

Improved Javadoc of constructors.

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

github.com/QuiltMC/quilt-loader-sat4j - 9978e109face8f058a4879e4d8730314e139474e authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 6cabb54f0ae970376f3273bbfea54add6be4c108 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 5c42c1a6a040fff8f742ad69ce65721cd195a723 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - de92cf0ed82d638cb7d86a1db60a641e61af2b1c authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 2a9d6c9ca4ef1fed7e8cac600974efd2297b2364 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - fc753a3e5d999fb7be5c3e7849ef3c7b218b9405 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 6b8c9b781b78830c5ad720b3d51cddcd28996e25 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - aa44b17a12a5fa5debfb6bb51f53d615661c2420 authored about 13 years ago

Fixed calcReason.

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

github.com/QuiltMC/quilt-loader-sat4j - 59e07dd4f3cb4bb3f6d24c23326b50152a971197 authored about 13 years ago

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-...

github.com/QuiltMC/quilt-loader-sat4j - 255f99c578f5bcdfdf640e93d6c50d6d773f9031 authored about 13 years ago

[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...

github.com/QuiltMC/quilt-loader-sat4j - 8fa18e95ecc2d8e46ca5aca64c318e902b221192 authored about 13 years ago

[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...

github.com/QuiltMC/quilt-loader-sat4j - 988417014151fa7d00a7d58a0e6c52169f02a19b authored about 13 years ago

Updated developers and issue traker address.

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

github.com/QuiltMC/quilt-loader-sat4j - f213edf748f5563be229faa345863535ee531161 authored about 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - e8e16d4cbbcf1009a097277ec05630e0d13a515b authored over 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - c8703f14a8d932945a370238939e09f3c2213c69 authored over 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 40f4817c280a4a9aee7f22aa9ee45de03b15cbd9 authored over 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - c5cade4510818acc9de13b43e3d5d33b4f2f7df6 authored over 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - 047be688c39041c63784fb6bf6cf56f175242e6b authored over 13 years ago

Provide statistics about satisfied constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 6359ad1db1f043dc1a6581f19eb7c3ccb41c1b80 authored over 13 years ago

Updated javadoc.

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

github.com/QuiltMC/quilt-loader-sat4j - 81ab069f3c23a802d2ce34579affc7700e0e6fa3 authored over 13 years ago

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...

github.com/QuiltMC/quilt-loader-sat4j - efef70a0b27da88360bffd0581fec6a0b113cd3d authored over 13 years ago