GitLab

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

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

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

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

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

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

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

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

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

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

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

/!\ 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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