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

Start remote with specified configuration

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

818c778468d6c84d9a45dc859557a7db1d9b0fef authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added clean trace to search listeners

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

934faa79d970986f695ccdde98acc4212270a304 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added clean to learned clauses size graph and prevented the activation of tracing while the solver is running.

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

16d27fe7f038d1206985f6ee2b3ec06bee2703d7 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected init method in DecisionTracing search listener

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

7066e12555bb78046fe701c67098919eba33248f authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added start with a specific configuration for remote control + corrected restart tracing on gnuplot

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

a196a622fdd8cfc80769b6d5b1f704a04aaf6764 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Consequence of changing a name of a method in RemoteControlFrame

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

fc433e4f11de081826caf5356ad1df0805d3b3ce authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added method to solvervisu for closing the java visualization frame before opening a new one

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

9f9447cca9b828024c236000a9c04275bc52ffa8 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implement new method introduced in the restart strategy.

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

187065108646e829bd59a684d453c0e8262ae151 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated the java visualization : the layout now takes into account the number of graphs displayed

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

6fe430adf0ae5cee7a0b4ee6a9e73efb2d4ce175 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
basic implementation of a circular buffer for integers maintaining the average of its elements.

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

db6ad07119e39e714d7b0de198d1243e116e4fde authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
basic implementation of a circular buffer for integers maintaining the average of its elements.

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

8c3e183916760e4b57baa03fba7f24c45245e940 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new hook method to allow dynamic restarts strategies.

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

e220b88e36b656b594b9c76cc2b427bfd7e858d4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new hook method to allow dynamic restarts strategies.

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

a44201904284fa5b4eb1227445353c08b11c13bb authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implement new forgets() method.

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

7894e2b1b4a2c5df5dd431384a0953a8885acfde authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add new forgets() method. Improved JavaDoc.

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

82be8b9ca944b68ef6ca56fe0a262fdf60c5e401 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved prime implicant algorithm solving the issue found by Pascal Fontaine with previous approach.

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

903dd8cd61a092e2229917526cccfe0dac41191c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add a counter example to the current implementation of prime implicants.

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

4559470ad1eb642838883290d7f13e9772fcba6f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new method in ISolverService.

Removed wrong @Override for Java 5.

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

fc932fe9a75e3cd70052581d717ec4a6134452ea authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified SolverVisualisation so that "plus" points are drawn instead of discs.

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

afc933a60154020a4aa87cc57816ea151c5ec8fb authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Classes that allow new point traces : a "plus" trace and a "cross" trace

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

3c3438687461a522315ed53e996e1aa0f587d0e6 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Refactoring of GnuplotPreferences : it now customizes the jchart visualization.

Renamed classes : GnuplotPreferences => VisuPreferences
GnuplotPreferencesFrame => VisuPref...

53cf627787f19a53efd5c63f735005b110d4c8ae authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added TraceComposite class in order to use one call of addPoint(x,y) for many traces

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

c957e31773500ec4170f3fe136d3b03283f28ddb authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Update jchart based visualization

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

c3b88f70cdf37257e3f6024470f8a27672f88e4c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified launchers in order to take into account search listeners modifs

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

7af2c61bf2c63db44d67d2e48b07bed42bc9126c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified a few search listeners so that they have their own restart plot

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

4ebdeb5bc043a8907a24bc50e9f0b55ddd6ab6bc authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Last graphs whith jchard2d

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

99d57d5c01e49a71f20a5ab9d2058032bae9da83 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved ChartBasedVisualizationTool from org.sat4j.tools to org.sat4j.sat

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

99367c0b418abd046af449460be8e1c758461047 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added class SolverVisualisation

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

fa4c8af9f77289068baccb57bab82eb5567141d5 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new dependency.

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

f20d41fe0ff289c9928accb7cf0c264d80853379 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The remote should now have the checkbox "optimization mode" checked if "-opt" was entered in command line

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

7e16a077b1f41228905ee89c94344e26c8a68cad authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified launchers (Launcher, PseudoBoolean2005 and DetailedCommabndPanel) in order to take the new visualization into account

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

8a22b0a243f679206e5b0a1d4507bc6cc8fb2452 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified searchListenersTracing so that they now take in parameters a IVisualizationTool instead of a filename

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

db65e8257e19d3e61f8cb5c591a00a562e226836 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added classes to allow another visualization than gnuplot

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

7bd45bbeb11c8e60786b6e78a6d66721069a0856 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to change the clause deletion strategy on the command line.

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

7c0d9624d5834ab9800f2926b12d1d0a27a51a10 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
DimacsOutput allows cardinality constraints to be translated into clauses.

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

42c4b9b4ad29fc6cd65878b4bdb62000a3bdb2ea authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
throw exceptions when the translation into SAT is not done.

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

8a39b4e793feff0572df00c93dd1acce6f0bd3ff authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to change the clause deletion strategy on the command line.

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

e9f70363207059daf54c38a4e66e040b6bc6fefb authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to change the measure of the quality of the clauses without providing a timer.

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

5420cd2a307c9dda14a2684c9de5847d9b32b17f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to change the measure of the quality of the clauses without providing a timer.

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

728bc95af21e37812b3352d7ae671c635645f05b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added LBD 2

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

a79ca18779c382ebd9208cf6dfff28ee4a7678e5 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Throws an exception if newVar() is not called before adding new constraints.

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

a7b508374fa8135d90ac8b847ba572b108195f72 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix duplicated prefix on the console.

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

1e96ea915c67d81640d479ceaadc78a91853b627 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated toString() method.

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

6c18699acd60743cce4b1ee05fe118d5c6ba621c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated toString() method.

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

f4057a2f918fe458c7cb746ac285ab9cf4334688 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed wrong @Override (java 5/6 bug)

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

08c6a81c9e52c627b78bde8cd49d843641f620c5 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Throws an exception if newVar() is not called before adding new constraints.

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

f87a4e8bfa04650d6315a469e365dee59c740548 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for bug SAT66.

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

ba6faffd02e6272ecfcf80d6883f38a1fd74cb6c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added test cases corresponding to the issue SAT66.

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

8677b2cce9f9501c1f90cbf9e9d0dde7ae1f6534 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Update LearnedConstraintsDeletionStrategy.

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

ba647532005e61f2504a94dcf18e8d0ba2a4e2e3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the method setActivity() to Constr. Added a new version of Glucose's learned constraints LBD computation.

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

e88a2f16a6df9b4c9d845400be4a9acbb2cdf95d authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with backtrack method.

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

7d5e9172f87c7c369d49a5f173b7334e9aeff9b3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added speed label

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

4a4f259d19da4e5e46352b01c396f2387a2070b2 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed number of assignments into number of propagations in remote

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

9a3fa1669a2139eeb625ca1eb0a6cd4879882b89 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed warning from gnuplot display

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

3e128ebbb3da49bc854bca0ee030413c927ed56c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
To fix the bug about remote display

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

3e4270e09c0e462ab1e0687f15b8a4f1c7a4a595 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
(Hopefully) Resolved gnuplot display bug with remote control when finding solution very often !

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

11f29b8862d99816e854b0c2c4f3bd59dbbdbe5e authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
cannot remove unit clauses during simplification.

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

5c118a1c894404d27242dccd6a98f90afcbe0239 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the solver to clean the database when literals are fixed.

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

704f15aa57970e0b3e9e0445c8df317134ab040b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove debug info.

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

8b8b2e23f523dc5c44e88ba53aaa6171171700cd authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do not display available solvers if a solver is given on the command line.

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

85e2569287aee1ca02576da5fb2f8d99cef9b208 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display solution value.

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

52216c668152b8622a826313074ac01248248097 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
checked objective before casting.

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

cb3884ecf685f6328e5d0c3a8233eb2a25e4f820 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added optimization mode option to choose solver panel in remote control.

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

0ac452f1c4c19e369d8212a43faae6ed60f41411 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using RWO instead of RW when doing optimization.

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

7138534a8c4c5f19d9bf5c4c5e265174046c88a3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Prevent the classCastException on exit????

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

baa6083bd1180ae7f805f4c07384c3562b33a8da authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Prevent the classCastException on exit.

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

fcb34d91161b679e190568c22e3d0814fed8b86a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to keep the solver hot when optimizing.

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

91c734502b09d2db40bbb5452ef41137344c489b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed system.out.println comments

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

0aaabc3ef86018e1dfca41f57446a10525f60cde authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added reference to JavaWorld JavaTip 113.

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

ad6feafa4e98cbf203aee9469f5f483dab25ca4e authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
About solver is now a tab of the remote control (it was a menuitem)

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

9b76ec85668c36d03f7f35dbfd7b3f1c75d9c1c3 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remote menu bar now displays the sat4j version

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

ea2643ecb18cc4c215b07b77b8c4ca36a5c109c9 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified remote control look : tabs are now used to display the different options

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

cbc9c31825e33cece1fd0a8ddfc4f0002cbf8840 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added "keep solver hot" option to the remote control.

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

08dbdb01927ef30081c9e29963640f22c485648a authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed setSolverHot into setKeepSolverHot.

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

dc38151f899cb4e359e41320bb27a05ff1c9d69b authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed setSolverHot into setKeepSolverHot.

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

c2da48fdeb72db4d055ef88934c36885f925e475 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to set the "keep hot" the solver accross calls.

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

0858afb875c02016c676ca8b2e58250e98019f62 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the SAT solver to be kept in "hot" state when doing multiple calls to IsSatisfiable().

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

594e2aefcc9413b40ebe9ab8199c5a8af8d54522 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added generic methods for searchListener methods.

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

cc3a5798f80938b76021fd4128eb6305ae1f24b6 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed new modelFound() signature.

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

ec6ff70afadbeaf58f5a5f384f114668d68ce681 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The search listeners are now generic (for future use of a IPBSolverService.

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

825c07990316d6ba079326031467492e519513ca authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
We now have a working inner model iterator.

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

8114c71c8f775b93967af6eb94c2d1349f8fc17f authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
We now have a working inner model iterator.

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

7483a8cde6e1b65fa621930d6f79fd3199a192ab authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
We now have a working inner model iterator.

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

96c27329581c09b6aedcb73a4eec7bc7455d48df authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved the SearchListener interface.

It should be possible to have an inner model enumerator now.

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

0dd23b5f1afd2a2bf2b8a43e54a7e2173b0635e2 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using wait() instead of sleep() as suggested by Sonar.

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

6b7503ea33403ad32b22661ed2286f5a182c15ba authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed redundant assignment.

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

a83b840a89e6c168cddda91c1a586d0e6c0b9607 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
closing properly streams.

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

4abaa89fbf1a6281c9b1f96c815cb2de54d9a04d authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed redundant test.

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

d0ace154ce44724a96a7dae9f28d1fb65a6a4ca0 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused Pair class.

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

7c7db746ebb58679c15e6a9f1f4705ef074227f1 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed synchronization issue.

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

4def33dd336983debfe0a40907ab8f0104890c50 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made the mnimization strategy serializable.

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

12e4b61d98c70ee648688a9802e6a9bc94707816 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow setting database cleanup from the command line.

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

b276d026fa947940ac3bc2b4d15bce6148c0cfec authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Excluding test case that now reaches timeout.

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

09659c44b499c7d41484b744f1f74c7d3b54f72a authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed objective based clause deletion strategy.

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

1f9a85638ce10ade6b3c4d4f7a83b93d6a700c79 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue regarding global conflict based timeout.

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

ebc0a4e6af100ec89f6c0c0a4bd524b10e4bf0ac authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new constructor that allow to use all solvers from a solver list even if the solver count is greater than the number of available processors

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

c87ba69a0eadecf703ca939ffc8d7da0fdae1f2d authored almost 13 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed a bug that made all solvers but the first return 0 when nVars() was called

+ added a new constructor that allow to use all solvers from a solver list even if the solver cou...

0d567d29564a5597c09b54aedfd8769bbfa0aa92 authored almost 13 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added possibility to choose which graphs can be displayed

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

3d32f15bd2a892983ab93370e8a2a2c9845d29b3 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified displayed index in speedTRacing

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

974c01139f5362a1de88118df6aaa7d0f7cce034 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a constructor to MultiTRacing

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

9115104b0c6859a90c9cb084236043757604a682 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>