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

Removed DefaultWLClause.

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

dacbc14e68eb554f5c0a18073b2f1cf75b01a0de authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed old code related to explanation support.

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

6c45411586827a366170249131444d8565834e44 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
DS Mixed Factory using real HT clauses and cardinalities added

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

e55844dd443e10c07e8ff320d8b7483fad2a29ea authored almost 16 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The ordering of the constraints changes the explanation returned.

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

fb6299d76fbb6f927cfa4f4dc13f693fc7d93731 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Simplified Pair.compareTo.

Added missing license headers.

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

8e3865d92585a4dfdefcab18e1212f0c18c748ce authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed QuickXplain algorithm.

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

07b22dcde97ce1d283355317bc34e292a75c56cb authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Encoded the real quickxplain algorithm.

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

8901b22466dd31dd5fe162aa1b53b02dabb48938 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed wrong condition (& instead of &&).

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

b3efa7315643e39128677ac92a3941a09b54d88b authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Delegation to Double.compareTo() the comparison of the constraints activity.

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

a2c04e816b06f234c54eb11f08ebc5ab187edfd0 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added also Pair code else it breaks the code on HEAD.

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

5daf71bcf215c3ae979374128331196a5d009748 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
initialized boolean flag at the beginning of the method, in case the xplain object is used several times.

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

d2e570fe73fcecc1dd5173b09a32e5f31a51bb0b authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the explanation engine to be stopped.

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

0203bef6b8217d93449fcc460da79ce81314ba16 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the explanation engine to be stopped.

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

64f7b8155417980fdcd0956f8e2028e91706e0fa authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed eclipse preferences to apply several actions when saving (formatting, organize import, etc).

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

3467020e8d5bdf7054866de24ae6c26782619b79 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated xplain to improve explanation time.

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

a21294f96dec8f9d464ae0e1ce9080a4cbd54583 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added tests for testing Eclipse patch encoding.

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

8cfa7f57f17b0edfd567ee54166dc9a44a0968ed authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the textual representation (for debug purpose) to work without using newVar().

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

19058e0b4308bc16a9ee3b88da1f7bcb06dd35f5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the textual representation (for debug purpose) to work without using newVar().

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

5180996394f5127734fc2287fae461ebd74f980f authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure that the explanation algorithm is not using an optimization engine but a simple SAT solver.

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

49165dc0d30b8b074445cac3b930cc5d9069b273 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
It is no longer necessary to provide a maxVarId to the dependency helper.

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

0a95f03f7953ff164c09a766278843ea40812201 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
It is no longer necessary to provide a maxVarId to the dependency helper.

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

566c1c8f08dbc60e552a23cec1557a8adbf71810 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused class.

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

6beec185e2ea6204f2f9da4dbab0b8cf16fd29b7 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new test case.

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

ff93fe2a4c9da574bf09fb4841dc2b73504a6748 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug in xplain algorithm: the last constraint could not be part of the explanation.

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

4cbcfd196475bf66b8213115b8480e9a78e3cef3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a collection based hasSolution() method to avoid the end user to use internal SAT4J IVec data structure but using traditional Java collections.

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

d69879ffe2be9fb90a70ef3c6fec82eb610da322 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed activity based sorting on constraints.

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

b8b628d15292fa373893b851916eea2734f2a3a7 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added expensive simplification to best solver configuration.

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

a80230116e9545fc5be63299fbe6c644e78f35d5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added beanutils library for ant compilation.

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

6020c7ce405b8a4a6703fa77598a55a877b86637 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced all calls to the solver factory by a call to SolverFactory.newDefault().

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

3a230a25b8771595afdd9bcca040a4ed6733b238 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated commons cli to 1.1.

updated build.xml to build both the sudoku package and the sat package.

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

fb68ea41340e7c17f3f2739849fd108d1e51dcb8 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Completed descriptions of command line options.

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

aad31a0b027905f0987e8fc076085be9f5ca5d20 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused options.

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

101f6ff1394c129efd6aaa93750ff531857334e3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed main-class attribute.

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

556f814c34cda7bce91c96e863c0b093955bef9a authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed version constraint for cspxmlparser package.

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

a2ed488eac48f6533d635818a95d09d918a5ad17 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Need to initialize twice the heuristics to prevent some problems when aborting early.

TDO: find a better way to fix the issue.

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

a8e402403482d687cfce23e286b7ff2ecb10e4a3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a problem in the way the best configurations are built.

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

385db941bf2ee30663b14538979f88f2d6b4ebbc authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to be in sync with core module.

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

bab91de41c1d5f888371077873f0663484cd8f76 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed activity increment in enqueue method (was a trick for explanation).

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

9cedb52a5349821231f84e0dc69ff5b38d58db03 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused AllTests class.

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

00d35022f8a20e7c240d475f066f66b7a2340550 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to be in sync with core module.

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

c8d4f47ebf63932e2c2b500b23d1d91eecac7ece authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to be in sync with core module.

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

34244a1bb8f0fe64d4dc5e5511d77ba667b22443 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to be in sync with core module.

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

075d1403a1c507ed6a750a78e084dcf09d620b49 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back the DataStructureFactory class parameter (else the PB solvers cannot be built properly).

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

beedda292525e89808b7bcc514acaba2ecf8a78d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed some compilers warnings.

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

007cb5e2212d2af67cbf83536e2b87aeccdfec34 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Huge internal changes:

- Removed specific binary and ternary clause representations
- Removed associated ILits2 and ILit...

a6d684d2268a949351072cd3df4cd558f3c49ce3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed version number in manifest file.

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

bb66a1050de46349eaecc1ee5e14e8f4873398db authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed code layout to map maven 2 structure.

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

677c7014ebe8b25171ca720762bcdf1b1330e031 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved sudoku code to the right place.

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

7ee63c06afa1b655d218bfae3bf484d116d16ace authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a test case for the bug.

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

2afa9a50a0b37e7da6d1c1cbba97ae07cf02edd9 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug 312655.

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

404d89d3bffe3049374f0579a29c10cf81c3fd81 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new utility method to directly get the truth value of a domain object.

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

95ea00572303d56a1da4379d281aa6f42e3ac329 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed another issue reported by Miroslav.

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

4dce067167c3b70aa326d4c0e7a6e91eee52aebb authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082

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

2d6547bc215a6b231ca429a1c0262d285138c844 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082

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

faf5e4e81ec017e4f21e0bdf0d63d2f7525dceec authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082

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

9a9517da9005a8e11afac32c210970f5824c815e authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082

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

667df7cc5b80f61d0b7402b46e00737446e206e0 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=244082

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

1c7bb0680b58374a0c5ea5761838acbecc6985c8 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed an issue: do not take into account linearized constraints.

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

aff7b75944e4972c97e3595220b98bd44466e226 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug in newVar(int) and return a fake constr instead of null to not break client code (null usually means that the constraint is trivially satisfied).

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

046a69eb9f660f0ab88f7c3c6d72ec130bf5fc52 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
protected the way new variables are created in Xplain behind new methods createNewVar() and getNumberOfNewVars().

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

bdf153e6b258507eae8a118e41a18fc6674734fe authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
protected the way new variables are created behind new methods createNewVar() and getNumberOfNewVars().

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

0fe944d277efe18694178a199a1521762c1212c5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated javadoc of the dependency manager.

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

4a2113a7574192f08f8da287052be7dd36c0ff3e authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the name of the setter method for the objective function.

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

2aa707de835725870bb3e049cdd6e70d07293c22 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the name of the setter method for the objective function.

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

2c096419a9afe838431df251f2b1b6b7e17cae02 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the name of the setter.

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

25de566bd61d6c92e5d4d4c010c8fab7db3d27be authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed wrong assertion and added the assumptions in the optimization.

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

b21487512e6e736eae38fd6b470386032f3cf87f authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do not return additional variables in model() method.

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

f9662e2f14cf48ef1c4fe2da4dc656ab03a90082 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added Jed test case.

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

020a7cab89d485f48e933bed7d208ef9d255f2a3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed build.properties to map maven conventions.

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

32550198d5172eb01ebb45541d967d0062603ebe authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed build.properties to map maven conventions.

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

6245063d2ac0d33268980f3c7a46c55ea830f071 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed build.properties to map maven conventions. Added missing method (getTimeoutMs).

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

d2fd78a74e829cb1991858f497397ccfb35c75ad authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed build.properties to map maven conventions.

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

823d21a898b019eaef44fa58451631ffcff5032d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed build.properties to map maven conventions.

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

8b483d810d2147e8fcb7a798821ca5c315958e60 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed regression on Eclipse Bug.

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

dc39962ce294cbd521d8b5c45e24fd096a5e1b1d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added copyright header on test cases. Added Eclipse Bug regression test.

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

1eab8039b6bc2d4191c8d612c04e96b59fca10f5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added headers on test cases. Updated a few test cases with default solver instead of specific solver.

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

f8c52580876b792d8067ae68fc3d41798c4f8e3c authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code with 2.0.5 fixes (but not with HT data structures).

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

9ad5e14b28f0622c49f03bd5ad1269f67dad2f14 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed comment.

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

5d84023b984fad6df2a9a7cb80df43d0b11b8a51 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated MAXSAT reader with 2.0.5 branch fixes.

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

8ed907ff9ef2d18f65ff6fabaf5078bd78805e19 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated pom to make the releases 2.1.0 SNAPSHOT.

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

bbf2658993bc0a9b3a7e18f996bc483e8456916a authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed an assertion.

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

0ebeeabbc16db13b570fe0a8ab2b4c0d1b31490d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed errors caught by unit tests when enabling assertions.

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

afc2c2c316929aae7e33f86e35a6833d39742afa authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed wrong assertion.

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

d5ca94c9cbcc2deddbdc1cdf01538ece9bd0d657 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added Jed Test cases. Removed dependency to SearchListener in DependencyHelper.

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

ca8bb86c81dcaa7235d4ecaa4c14954868466622 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The MAXSAT solver can now handle BigInteger weights.

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

4278ce3e333bfadf2f5ee7696f4529f3e7e69dfb authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed an issue with the MAXSAT decorator.

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

4fa554f14f7b851cb7413c34460aa2aaad4b5b24 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed Dimacs reader to support weights with BigInteger in MAXSAT solver.

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

bf96fb9ae5e0466688e894a0cd5cba96c366f424 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed typos.

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

d90ddc168f79fbd94ecfd113d60b52b437acad99 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new class to allow an easy way to set the objective function.

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

c7697cdd1815a88f86532b4105ff1c53f053e402 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Merged modifications from 2.0.5 branch (code to query models with at least k variables set to false).

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

8a7534f6d781e7cbc4c6242af66e80e7073ca1d3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Started adding to head changes made in 2.0.x branches.

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

0f197b2cb03fb4b427b59b99f36938e93178e99a authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated Manifest with JRE 1.5 requirement.

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

b3855d6eecb390f8bb1675de0fdf892bd59b7a88 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to Fix genuitec issues with Xplain.

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

b88acb4c93d059601c90b83ca73f16a56c7d21ee authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Sync with new ISolver interface.

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

c6fccfdafba80632318cdeaa6003c64dc7a68471 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated code to Fix genuitec issues with Xplain.

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

27e8708332105d3dd553acea013eb8966efce5f0 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added org.sat4j.pb.tools in exported packages.

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

04b90d5716fb52911c220e264c6c7554481d6d8e authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new generic parameter to let the user map its constraint with any object.

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

b486d3860b4b02de43973aaf4536229bd30f1871 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@177 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

a658d877fe3c374df40d778dac62c334ca55718a authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed warnings reported by Eclipse compiler.

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

b65983ea9e4387672bedaf34f69a7840f0548668 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved helper API.

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

a8b2235e5350327a14f8a3895f23a386734e79f7 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>