1bdf238 | Daniel Le Berre | 26 March 2017, 17:25:24 UTC | Solve compilation problem. | 26 March 2017, 17:25:24 UTC |
7735fab | Daniel Le Berre | 26 March 2017, 16:36:08 UTC | Fixing more sonar violations. | 26 March 2017, 16:36:08 UTC |
9b19f30 | Daniel Le Berre | 26 March 2017, 16:15:26 UTC | Fixing more Sonar issues. | 26 March 2017, 16:15:26 UTC |
b9435bf | Daniel Le Berre | 26 March 2017, 15:41:54 UTC | Fixed a few vulnerabilities, according to Sonar. | 26 March 2017, 15:41:54 UTC |
dbbf6bd | Daniel Le Berre | 25 March 2017, 14:01:50 UTC | Reduced further duplication. | 25 March 2017, 14:01:50 UTC |
dede391 | Daniel Le Berre | 25 March 2017, 13:40:06 UTC | Encapsulate Pair fields. | 25 March 2017, 13:40:06 UTC |
8b7802d | Daniel Le Berre | 25 March 2017, 11:47:49 UTC | Moved SearchListenerAdapter to spec package to remove duplicated code in VoidTracing. | 25 March 2017, 11:47:49 UTC |
29a1634 | Daniel Le Berre | 25 March 2017, 11:40:40 UTC | Factoring out code to remove duplicated code. | 25 March 2017, 11:40:40 UTC |
fc2e589 | Daniel Le Berre | 25 March 2017, 11:21:04 UTC | Encapsulated silent field in AbstractLauncher. | 25 March 2017, 11:21:04 UTC |
42d1e63 | Daniel Le Berre | 25 March 2017, 08:54:04 UTC | StringBuffer -> StringBuilder. | 25 March 2017, 08:54:04 UTC |
9aed674 | Daniel Le Berre | 25 March 2017, 07:59:46 UTC | Updated pom.xml to silect m2e errors and updated objectweb->ow2 references. | 25 March 2017, 07:59:46 UTC |
174159a | Daniel Le Berre | 25 March 2017, 07:33:49 UTC | Fix compilation problem. | 25 March 2017, 07:33:49 UTC |
e2002fa | Daniel Le Berre | 24 March 2017, 20:01:14 UTC | removed argLine in surefire plugin | 24 March 2017, 20:01:14 UTC |
3d72995 | Daniel Le Berre | 24 March 2017, 19:30:57 UTC | trying local cache for maven | 24 March 2017, 19:30:57 UTC |
94f5724 | Daniel Le Berre | 24 March 2017, 16:52:26 UTC | Removed sonar property. | 24 March 2017, 16:52:26 UTC |
b97b9a3 | Daniel Le Berre | 24 March 2017, 16:33:09 UTC | Using now ${session.executionRootDirectory} to mean the top directory. | 24 March 2017, 16:33:09 UTC |
1ec50ec | Daniel Le Berre | 24 March 2017, 15:41:56 UTC | changing sonar binaries path | 24 March 2017, 15:41:56 UTC |
e2ef8ab | Daniel Le Berre | 24 March 2017, 13:33:56 UTC | Using absolute path for lib directory. | 24 March 2017, 13:33:56 UTC |
75b5c07 | Daniel Le Berre | 24 March 2017, 13:21:42 UTC | Added missing binaries path. | 24 March 2017, 13:21:42 UTC |
4fb7df8 | Daniel Le Berre | 24 March 2017, 12:43:35 UTC | Fixed jchart2d artifactId | 24 March 2017, 12:43:35 UTC |
b8a171a | Daniel Le Berre | 24 March 2017, 12:33:27 UTC | Remove local dependency to jchard2d | 24 March 2017, 12:33:27 UTC |
c26123a | Daniel Le Berre | 23 March 2017, 20:13:37 UTC | Added support for JaCoCo | 23 March 2017, 20:13:37 UTC |
3175032 | Daniel Le Berre | 22 March 2017, 10:20:38 UTC | moving sonar to the main stage | 22 March 2017, 10:20:38 UTC |
acc216e | Daniel Le Berre | 22 March 2017, 09:59:50 UTC | caching all untracked files. | 22 March 2017, 09:59:50 UTC |
eaad77e | Daniel Le Berre | 22 March 2017, 09:46:39 UTC | try using gitlab-ci cache to keep compiled files and jars between stages. | 22 March 2017, 09:46:39 UTC |
83f6d66 | Daniel Le Berre | 22 March 2017, 09:28:44 UTC | call compile before sonar | 22 March 2017, 09:28:44 UTC |
ef897cc | Daniel Le Berre | 21 March 2017, 16:50:30 UTC | Added sonar analysis | 21 March 2017, 16:50:30 UTC |
8163101 | Daniel Le Berre | 20 March 2017, 23:29:12 UTC | Update Java Source for JavaDoc | 20 March 2017, 23:29:12 UTC |
2c5d924 | Daniel Le Berre | 20 March 2017, 23:08:19 UTC | Fix yaml file | 20 March 2017, 23:08:19 UTC |
28bd690 | Daniel Le Berre | 20 March 2017, 23:02:19 UTC | Added CI with docker | 20 March 2017, 23:02:19 UTC |
f6cb634 | Daniel Le Berre | 28 February 2017, 22:05:34 UTC | added missing empty directories | 28 February 2017, 22:05:34 UTC |
299ce03 | Daniel Le Berre | 28 February 2017, 21:50:03 UTC | Fixed Java 7 issue with test orders | 28 February 2017, 21:50:03 UTC |
53cfbc0 | Daniel Le Berre | 28 February 2017, 21:01:43 UTC | Add license | 28 February 2017, 21:01:43 UTC |
b2e5cb3 | leberre | 26 February 2017, 15:34:44 UTC | update maven config to support embedded libraries git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2563 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 February 2017, 15:34:44 UTC |
8c3b074 | leberre | 26 February 2017, 15:10:43 UTC | avoid running the DetectCards solver because the contain a System.exit() which breaks unit tests git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2562 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 February 2017, 15:10:43 UTC |
faac781 | leberre | 26 February 2017, 14:11:33 UTC | corrected javadoc 8 errors in core module git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2561 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 February 2017, 14:11:33 UTC |
9a5e7ea | lonca | 21 February 2017, 09:35:55 UTC | Increased (again) MaxPermSize for Surefire plugin. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2560 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 February 2017, 09:35:55 UTC |
52d974a | lonca | 21 February 2017, 09:24:41 UTC | Increased MaxPermSize for Surefire plugin. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2559 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 February 2017, 09:24:41 UTC |
6187324 | lonca | 21 February 2017, 09:02:43 UTC | ignoring AllTests git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2558 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 February 2017, 09:02:43 UTC |
69498d4 | lonca | 01 February 2017, 14:45:50 UTC | Updated XCSP3 objective handling to prepare multiobjective management. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2557 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 01 February 2017, 14:45:50 UTC |
0e73362 | lonca | 25 January 2017, 13:23:16 UTC | Constraints test cases are now handled by an external library. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2556 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2017, 13:23:16 UTC |
99f2650 | lonca | 25 January 2017, 13:22:30 UTC | Added xcsp3 test cases library as a dependence of sat4j-csp git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2555 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2017, 13:22:30 UTC |
122b697 | lonca | 24 January 2017, 14:14:11 UTC | Refactored test cases in order to export them. This export is intended to make them available and easily usable by other CSP solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2554 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2017, 14:14:11 UTC |
25103bb | lonca | 24 January 2017, 08:58:54 UTC | Updated test cases in order to respect the XCSP3 specifications to come (instead of the current ones). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2553 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2017, 08:58:54 UTC |
11f8676 | lonca | 24 January 2017, 08:57:50 UTC | Uploaded last version of the API. /!\ Be careful it does not respect the current version of the specifications, but the ones to come. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2552 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2017, 08:57:50 UTC |
1100b7a | lonca | 23 January 2017, 16:01:07 UTC | Implemented minimization/maximization of single objectives for XCSP3. Other test cases are coming soon. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2551 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2017, 16:01:07 UTC |
a69beae | lonca | 23 January 2017, 15:57:51 UTC | Objective functions may now be built by sum of other objective functions, and multiplied by an integer number. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2550 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2017, 15:57:51 UTC |
a001e8a | lonca | 23 January 2017, 14:58:19 UTC | Submitted new version of XCSP3 parser. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2549 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2017, 14:58:19 UTC |
a55071d | lonca | 23 January 2017, 14:56:49 UTC | Made some adjustments in order to be compatible with the new version of XCSP3 API. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2548 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2017, 14:56:49 UTC |
1bf3594 | lonca | 23 January 2017, 12:32:40 UTC | Refactored tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2547 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2017, 12:32:40 UTC |
eee4cca | parrain | 12 December 2016, 16:47:46 UTC | AP: reduce (when possible and as much as possible) by powers of 2 coefficients of learnt constraints git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2546 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 December 2016, 16:47:46 UTC |
fe44b8c | lonca | 29 November 2016, 16:16:49 UTC | Changed CSP encoding display git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2545 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 November 2016, 16:16:49 UTC |
feac34b | lonca | 29 November 2016, 13:29:43 UTC | Made XCSP2 DIMACS output solvers print the encoding in the same way XCSP3 solvers do. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2544 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 November 2016, 13:29:43 UTC |
5de927c | lonca | 29 November 2016, 10:55:32 UTC | Fixed a bug that made return an incorrect solution when some exceptions occurred (for example, thrown when JVM is out of memory). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2543 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 November 2016, 10:55:32 UTC |
81b9d81 | lonca | 23 November 2016, 08:36:08 UTC | Added license header and comments ; renamed XmlCommentPrintWriter to fit the case convention used until now. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2542 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 November 2016, 08:36:08 UTC |
f2aa026 | lonca | 22 November 2016, 15:41:26 UTC | (file push forgotten) SAT solvers used for CSP computations are know able to tell if they are real solvers or DIMACS/PB output solvers. This behavior is needed since output solvers must specify the literals mappings, which might be hidden in a computation point of view due to its (possibly) huge size. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2541 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 November 2016, 15:41:26 UTC |
167e15b | lonca | 22 November 2016, 15:38:01 UTC | SAT solvers used for CSP computations are know able to tell if they are real solvers or DIMACS/PB output solvers. This behavior is needed since output solvers must specify the literals mappings, which might be hidden in a computation point of view due to its (possibly) huge size. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2540 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 November 2016, 15:38:01 UTC |
d06ebaa | leberre | 16 November 2016, 11:29:43 UTC | fix pom.xml git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2539 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 11:29:43 UTC |
93a150d | leberre | 16 November 2016, 11:24:04 UTC | fix more spurious println. Update pom.xml surefire config. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2538 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 11:24:04 UTC |
d33c08b | leberre | 16 November 2016, 08:25:03 UTC | Finally found the spurious test display. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2537 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 08:25:03 UTC |
7d1ddba | leberre | 16 November 2016, 07:43:54 UTC | Removed smelling code. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2536 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 07:43:54 UTC |
a7ea5ee | leberre | 16 November 2016, 07:41:22 UTC | Prevent DimacsStringSolver to be used in GenericM2Tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2535 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 07:41:22 UTC |
09bcd04 | leberre | 16 November 2016, 07:40:03 UTC | System.out -> out git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2534 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 07:40:03 UTC |
37d3313 | leberre | 16 November 2016, 06:55:48 UTC | removed some spurious output git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2533 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 06:55:48 UTC |
adcf380 | leberre | 16 November 2016, 06:21:58 UTC | added support for pmin models git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2532 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 06:21:58 UTC |
33982ba | leberre | 16 November 2016, 05:38:16 UTC | removed useless code git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2531 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 05:38:16 UTC |
6645f21 | leberre | 16 November 2016, 04:41:46 UTC | Fix issue with Reader for LexicoDecoratorPB git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2530 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 16 November 2016, 04:41:46 UTC |
68e1622 | lonca | 15 November 2016, 12:52:23 UTC | SAt4j-csp now displays the mapping between CSP and SAT variables ; this behavior should be set back off in case of a "real solving" (that is solver is not abstract) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2529 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 November 2016, 12:52:23 UTC |
48fedbf | lonca | 15 November 2016, 12:49:24 UTC | Getting the search listener of an abstract solver now returns null instead of throwing an exception ; change needed for sat4j-csp. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2528 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 November 2016, 12:49:24 UTC |
3878bb0 | leberre | 15 November 2016, 03:50:55 UTC | Fix for failing tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2527 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 November 2016, 03:50:55 UTC |
af47e3a | leberre | 14 November 2016, 21:22:58 UTC | Fix Eclipse settings for xcsp project git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2526 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 November 2016, 21:22:58 UTC |
ba0aec9 | leberre | 14 November 2016, 21:13:05 UTC | Remove argLine reference git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2525 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 November 2016, 21:13:05 UTC |
64636cc | leberre | 14 November 2016, 20:54:50 UTC | Updated surefirer plugin version git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2524 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 November 2016, 20:54:50 UTC |
a9636ad | leberre | 14 November 2016, 20:50:13 UTC | Updated compiler plugin version git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2523 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 November 2016, 20:50:13 UTC |
0bb920a | leberre | 14 November 2016, 20:43:43 UTC | Update jdt compiler version git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2522 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 November 2016, 20:43:43 UTC |
beaaccc | lonca | 10 November 2016, 15:20:50 UTC | Some refactoring. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2521 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 November 2016, 15:20:50 UTC |
83562cc | lonca | 10 November 2016, 12:37:39 UTC | Refactored Tseitin-based intension constraint encoder. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2520 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 November 2016, 12:37:39 UTC |
c87d9c4 | lonca | 10 November 2016, 10:39:39 UTC | Refactored nogood-based intension constraint encoder. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2519 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 November 2016, 10:39:39 UTC |
8973511 | lonca | 09 November 2016, 13:32:25 UTC | Built a factory for intension constraints encoders. Set Tseitin-based as default. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2518 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2016, 13:32:25 UTC |
5544fa8 | lonca | 09 November 2016, 13:25:43 UTC | Implemented Tseitin-based CSP3 to SAT encoding. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2517 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2016, 13:25:43 UTC |
4632c58 | lonca | 09 November 2016, 13:25:03 UTC | Refactored XCSP3 encoding git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2516 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2016, 13:25:03 UTC |
4f1f591 | lonca | 09 November 2016, 13:20:34 UTC | Updated xcsp3parser library to last version. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2515 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2016, 13:20:34 UTC |
d1c73c9 | lonca | 09 November 2016, 12:54:23 UTC | Removed incorrect test ; improved efficiency of the others. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2514 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 November 2016, 12:54:23 UTC |
2b8b68e | lonca | 07 November 2016, 09:31:55 UTC | ant may now correctly add xcsp3parser.jar references into sat4j-csp JAR git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2513 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 November 2016, 09:31:55 UTC |
ce13a83 | lonca | 04 November 2016, 15:11:52 UTC | Change intension constraint builder for XCSP3 from "JS rhino"-based to built-in. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2512 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 November 2016, 15:11:52 UTC |
11dd1ce | lonca | 03 November 2016, 14:24:32 UTC | Made sat4j-csp (more) compliant with the XCSP3 output format (again). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2511 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 03 November 2016, 14:24:32 UTC |
5f574ba | lonca | 27 October 2016, 10:10:12 UTC | Made sat4j-csp (more) compliant with the XCSP3 output format. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2510 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2016, 10:10:12 UTC |
bf66075 | lonca | 27 October 2016, 10:06:46 UTC | Made AbstractLauncher able to bufferize some logging messages and flush the buffer when needed. Added a call to flush() in OptimizationMode which absence caused some messages not to be displayed in some specific cases. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2509 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2016, 10:06:46 UTC |
7da0481 | lonca | 27 October 2016, 08:42:09 UTC | Made ExitCode a real enumeration. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2508 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 27 October 2016, 08:42:09 UTC |
5a6b85b | lonca | 17 October 2016, 13:49:15 UTC | Updated library to fit new API version requirements. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2507 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 October 2016, 13:49:15 UTC |
9d1d18d | lonca | 17 October 2016, 13:47:37 UTC | Replaced xcsp3parser library by the newest version git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2506 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 October 2016, 13:47:37 UTC |
e66addb | lonca | 17 October 2016, 08:25:28 UTC | Made sat4j-csp able to parse compressed files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2505 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 October 2016, 08:25:28 UTC |
f9277c6 | lonca | 17 October 2016, 08:22:12 UTC | Made sat4j able to read .lzma compressed files in the same way as .bz2 files (using external lzma compression program). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2504 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 17 October 2016, 08:22:12 UTC |
327c7a6 | lonca | 14 October 2016, 13:39:27 UTC | Now using printInfos() method in DimacsStringSolver (was empty before now) to display the CNF generated from a CSP. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2503 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 13:39:27 UTC |
75a2472 | lonca | 14 October 2016, 13:26:46 UTC | Removed AbstractLauncher call to toString() in order to follow Daniel's advice and be able to get back home safe this evening. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2502 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 13:26:46 UTC |
b5ef4ac | lonca | 14 October 2016, 12:55:19 UTC | Added a CSP "toDimacs" solver with PB capabilities. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2501 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 12:55:19 UTC |
7559ca7 | lonca | 14 October 2016, 12:54:17 UTC | Made AbstractLauncher call toString() before problem solving in order to make DimacsStringSolver display its content for sat4j-csp. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2500 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 12:54:17 UTC |
b0d5492 | lonca | 14 October 2016, 12:21:32 UTC | Fixed a bug that made new variables get already binded indexes git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2499 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 12:21:32 UTC |
fae7727 | lonca | 14 October 2016, 09:44:24 UTC | Improved encoding efficiency for "instantiation" constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2498 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 09:44:24 UTC |
622f7ce | lonca | 14 October 2016, 08:55:46 UTC | fixed a NullPointerException occurring when a non-XML file is provided as input ; now displays the correct error message and abort. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2497 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 14 October 2016, 08:55:46 UTC |