The Quilt Project commits | Ecosyste.ms: OpenCollective

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

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

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

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

Renamed setSolverHot into setKeepSolverHot.

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

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

Renamed setSolverHot into setKeepSolverHot.

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

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

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

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

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

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

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

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

fixed new modelFound() signature.

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

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

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

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

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

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

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

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

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

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

Improved the SearchListener interface.

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

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

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

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

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

Fixed redundant assignment.

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

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

closing properly streams.

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

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

Fixed redundant test.

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

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

Removed unused Pair class.

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

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

Fixed synchronization issue.

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

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

Made the mnimization strategy serializable.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Modified displayed index in speedTRacing

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

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

Added a constructor to MultiTRacing

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

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

Modified SpeedTracing

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

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

Added SpeedTracing

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

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

Added speed graph.

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

git-svn-id: s...

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

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

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

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

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

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

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

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

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

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

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

reducing number of restarts displayed.

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

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

Reducing range of data displayed.

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

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

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

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

Gnuplot is now in black :)

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

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

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

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

Added restarts to gnuplot tracing

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

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

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

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

Added changes to remote

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

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

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

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

fixed issue with LBD activity.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Can now pause the solver.

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

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

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

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

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

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

Wait 8s before launching gnuplot.

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

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

removed path to gnuplot.

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

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

Moved wait to traceGnuplot.

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

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

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

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

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

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

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

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

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

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

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

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

Developped gnuplot tracing

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

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

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

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

Gnuplot's stop is cleaner

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

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

Added "activate tracing" option in menu.

HeuristicsTracing and LearnedTracing are now plotted with other graphs.

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

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

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

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

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

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

Fixed init value for phase.

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

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

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

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

Added missing method cleaning.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Potential fix for SAT-60.

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

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

Potential fix for SAT-60.

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

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

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

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

Corrected bug in Lanceur (displayAnswer)

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

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

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

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

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

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

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

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

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

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

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

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

Added option -remote to Lanceur

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Removed sysout in armin restart

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

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

Corrected a bug

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

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

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

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

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

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