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

Modified SpeedTracing

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

4b6fdf77d513bbc3ad9a89280539dfdc69751ffb authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added SpeedTracing

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

4f55595537b8029be854f598e9d00e1c14fd1d49 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added speed graph.

Separated negative and positive decisions.
Added line style to gnuplot data file.

git-svn-id: s...

0e85e31326db595453347df77b06dec6b5d14911 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created classes to customize gnuplot preferences. Adapted Remote control classes in consequence

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

77da4db4010a725d2c86f6df060b3f1eade34c5f authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added comments lines to gnuplot datafiles so that the number of lines is always the same.

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

ef2f240610105eeb117b6cefa6184deee6692073 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using a fixed timer for memory based or activitybased evaluation.

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

ec0dccf646e6d9e2fc6f10e6286516cd8d925902 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Use a x for all plots to allow sliding window.

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

b57917f069e4e6cd8b464925f1f29e7335edcb2d authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reduced again the information displayed live.

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

ea6bb7876d489aa69d349f7462ea1073bdce5b89 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
reducing number of restarts displayed.

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

00145528fc32b95f57f12259a09d6fcac55001ec authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reducing range of data displayed.

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

ff3b480e843c1c3d7a605283fb605e420707a4ef authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Limiting the number of lines read in each data file for smooth animation.

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

0c0243e126c6f322ff212037771fa47c6850bcad authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Gnuplot is now in black :)

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

0e65959bf08aaaf3a94b68d3a5ea3e114f838e78 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
plotting two frames per second now.

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

fe01ab7f47962ba95f4819c6ff3f8fce0635f307 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added restarts to gnuplot tracing

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

f53483aa2f395c1ae02c3a2b7780592be0f6b0e1 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added call to init when changed the clause deletion strategy on the fly.

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

f9ac09e027f59ec189cdc357075297a077a30cbe authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added changes to remote

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

1c32ea5a459719991ff84125b2cdfb9b18da1190 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Update conflictCount with new timer (and remove previous one).

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

c7aa7cca89db49835fb283497bb44311970b571c authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed issue with LBD activity.

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

073d27d04f01f457e75656f5f3441d121fd93dee authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
No solver by default in remote launcher

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

835699bb2086b040fecd963565cbf19cb356a887 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Killing gnuplot when closing the frame.

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

3c5812f540133d4edd513f74cfdfb2843e3f3826 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method to set the type of evaluation for the clause deletion strategy.

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

50203ffeb94a0e564d3d3c64bdc8671fb27bc030 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remote now works with used customized solver.

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

14446fa18e43ed57dd824d7d8ea6c9c2d354ce2f authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using an enum instead of a String to set the simplification strategy.

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

ba7371b77129972cb81eeb14e9a1e35b4262f173 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using an enum instead of a String to set the simplification strategy.

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

3c4721aa0b52518003a02811ac31d7be8214e38f authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Can now pause the solver.

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

8977ff312f596c868af44cd1f8080a026e458f84 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
If launched with option -r and -remote, then gnuplot tracing is activated by default

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

f52e05239f936870a03fc04e2bcff7a88e9781c1 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added possibility to activate and deactivate gnuplot even when the solver is running

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

0e3ba0cb47285accd7fa0a439fd5ce07af81d6cc authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Wait 8s before launching gnuplot.

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

aa65aa0ebd3dec215f77db343377104dd2272904 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed path to gnuplot.

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

dda69d15cbdc08472881a7277243a6cd0a3b1048 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved wait to traceGnuplot.

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

29ac389302084ad5b70169a769b912f208790680 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Gnuplot now draws decision and trail levels.

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

92fc60bddf2b26301dd41c2bccdd63ba9b5f6690 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added simplification panel to remote control

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

cab93bce3b131e2fa6fcc6522c61b6b0adfa96f6 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added getSimplifier() method to ICDCL. Implemented this method in Solver.

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

5add8f09d8c3a9b4e22bd4f188744935c98b3056 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Now output both the decision level and the trail level.

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

0c3b7436c1ac893ad233813f3f9c69b0ab8288c4 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added logscale for variable activity graph

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

738f9d9168d032089d69d32fa99d0d0f8e2137f8 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Developped gnuplot tracing

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

375cf75068480bc8deb4f10e24bd8c8145dad4e6 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed duplicate call to slistener.learn().

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

cac26ee3fc9e0d1052c4d7e8cbc9916071c708fe authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Gnuplot's stop is cleaner

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

5881da6e2e15116a623cd49ce595d4f69a4a5406 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added "activate tracing" option in menu.

HeuristicsTracing and LearnedTracing are now plotted with other graphs.

git-svn-id: svn+ssh://sv...

849de8f3b38519992ef6bd9d59990994ac452d8c authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removing the previous strategy from the conflict counter.

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

a8cba606166545bd6f799f6aa262ddbc20564988 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a method to remove a timer.

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

22aee7c49c8ccb2c204f12f69d20a3feb4bf5eb2 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed init value for phase.

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

2171106e634becd91e938cbe25c8d9c48471b6ef authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initializing the phaseStrategy before giving it to the solver.

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

cad861b5264ff1c54cce57e390149e7696f46885 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing method cleaning.

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

ed5d2d780244af48f43e575697444fcd64ecb459 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Should have fixed the case where changing the phase selection strategy returns an arrayindexoutofbounds.

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

9e6deb243a847e85ecd5ff1a474b2a57f63a9ea3 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added two new search listeners for improved tracing: one for the heuristics and one for learned clauses.

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

a7dd174eb387f883ef01166a7b73406356d00f4f authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed wall in glucose deletion strategy: does not work well with corrected RSAT phase saving.

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

340371be1bcf7d9c4139518053c97f9f99e0ab4e authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated timeout to make the tests pass.

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

835ce55a2a68c406f58828b56a7cbc5262b3b8d1 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated timeout to make the tests pass.

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

f2f3d1da7314f56098f0336a3a0a0e69615696e9 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using the new method toConstraint() to avoid casting (see SAT-60).

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

0ee807d772039f8e9b845e510adda3ba21321748 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Potential fix for SAT-60.

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

1f386c444a1162efccf0a760fb735b4cb82fb017 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Potential fix for SAT-60.

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

0d4b8c143ca3e07821869ed6f435fe0d1aaf50ca authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated live script, with restarts and phase

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

9ab0156f72a0179551b3f024d4a57326ccb91164 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected bug in Lanceur (displayAnswer)

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

b888b427a2c03b47959149b3ae68a6c0a4d9ff7c authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified lanceur so that remote is not displayed as available restart strategy and phase strategy

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

6d75a23feb34cb8cd6de32e315e3741cf19b7f42 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed copyright headers: copyright owner is now Artois University and CNRS.

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

c3e53bcb94b811e1912399c7d5105e6182b8d8c5 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed copyright headers: copyright owner is now Artois University and CNRS.

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

925fd830ccd83580d4cec095ef83339d6e3ba7a6 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1222 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

a0786f5c383ee9c5ee64bbc851917d2e7310c29b authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed copyright headers: copyright owner is now Artois University and CNRS.

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

38c971c06ccf693f00e7e131d8f210258b329186 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added option -remote to Lanceur

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

c2f4f0fbd2217990393e26374f3e7d03f7a017cb authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Customized remote control (phase strategy selection, use default learned contraints deletion strategy, launch the remote with a customized solver)

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

a9994b1ea6501d12b7ccfad0479c946a6e272319 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of silent in AbstractLauncher

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

cb8755f12dcd965211b411bae5319461eff5cfcd authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created interface ICDCLLogger. Added methods getLogger and setLogger in ICDCL and implemented those methods in Solver.

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

5ae6c97276aafd621af606efac2d53ec670607ca authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
ConflictLevelTracing and DecisionTracing now create filename-restarts lines to show when restart occur.

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

ff2979f3d9b37779df5dbeecb612ca2f2fdb3ed7 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated console copyright to Artois University and CNRS.

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

00da33d84c58d1ec70f6ca9f8a9a656ac1b069ea authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
propagate to the phase selection strategy that a value has been assigned.

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

f58475518a0c10bcb0cd4a2cc2509b27e23083b4 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added target for the remote control

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

5482568b196ac9bfa415b62f80a3437f0515641c authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed sysout in armin restart

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

d22d66f1902899d7c4c91a1e2c16964f2c926fed authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected a bug

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

cf0950e29adf18a3948e51bdca3d64bc38ccf37e authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added possibility to specify a ramdisk where to write data files.

Corrected a bug in DetailedCommandPanel when restart button is clicked (init strategy)

git-svn-i...

73425c2cc115d5a2fc46396f93d09b11c9b47d56 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added getSearahcParams() method to RestartStrategy. Modified AmrinStrategy, LubyStrategy, NoRestarts, MiniSATRestarts in consequence.

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

99102091f8ec8e6cd578fc33eca249a417cbe025 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed timer issues in solver.

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

94f22121177e31ae6031f7036e94967ec34db0c8 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

eec1bcbf5a1e6ae6fc907ce1176d17eda2a080a4 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Customized

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

1bae9b71601a2ba1df24800e5c3b9219b4de0022 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

f53b4a1fff7952de7c4220851913f903082be11b authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

d168b442341296ed3e53b687078362b7184c3176 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added hasObjectiveFunction method

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

ce0a1a80535f2a54b8b59d483f29e79a3147f992 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

4827f633cc2d4e9fd053caa01a996ced66ac08a6 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Refactor names

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

9fcd96932e28283295ae9c61fa91484cb042c68c authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added ilog interface

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

e997cfd7911d0e310ff7394d754097e02a5558ef authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

1efce193af2a2de47ebbc229648ac56549c0b26e authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Ficed Luby Restart strategy.

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

dbf76ee74133c8b22e4dd291ba4f29099846396c authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Customized Remote Control

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

b0cf17a31e8173df0ac22dbeea4d714b5098012e authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

7725677a79e6da22bbab5389e8baac3da6a8a8e4 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added toString():String method

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

d9153f08029c677241131cbb3014c336c378ccaf authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

fe7040b99ff3c787c6ef10c878c5e7702330f1ed authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

1f23df9ff88bb0428d953a7495d316d51302fb85 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

7076f213ed44efb39adf700d7d9f037ddbc8cc94 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Now contains a CommandeDetailleePanel

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

f80a0455630b8828ae4e35f5fd1cd2b86fa82b25 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

1a8f92741f2928ccc6ab71466b48d8ec14efd40b authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

15bea9acc2b1598027f6a8d1ccffedf1ee16624f authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

78dc5c722ac51a7be4bf8b2934ba119b3d4932b0 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

2af435475edfa7aac7ba1688227250bb42c7fe92 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

65c30cf4c47312b97def998a15dbe74dd54edea0 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added comments to this interface

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

5348e838fb41daf0dbde1952f15a435ef8e076af authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

5351e56d19df8a6093cb981747dd89d35aafe149 authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

0c1c080780eaaef7a17f05a8ef25bda6f6beea9b authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

13b37201215ee743688048cdcd1f9a43d7b5f4df authored almost 13 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed tests cases.

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

e105d647507a5767c9df5f5245931af296cdc1a8 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

60060ad82a3c6b6a8846c59e0917cc1b50c01240 authored almost 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>