Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

The Quilt Project

The Quilt project is an open, community-driven modding toolchain designed primarily for Minecraft
Collective - Host: opensource - https://opencollective.com/quiltmc - Website: https://quiltmc.org/ - Code: https://github.com/QuiltMC

Remove clauses added to find an optimal solution.

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

github.com/QuiltMC/quilt-loader-sat4j - 6f89df75e8cc11a342367eeb1511ffea3430f440 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove clauses added to find an optimal solution.

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

github.com/QuiltMC/quilt-loader-sat4j - b54cc69cde010f51ba7e74abab98024512f53316 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove clauses added to find an optimal solution.

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

github.com/QuiltMC/quilt-loader-sat4j - 8b981319ffe550fe48281236035116bd381c0a02 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Append non removable clauses information when the solver finishes.

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

github.com/QuiltMC/quilt-loader-sat4j - 9ff8264ad25274f74d4ea5cb82d306ce99bf78fc authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Append non removable clauses information when the solver finishes.

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

github.com/QuiltMC/quilt-loader-sat4j - 0b90292c2009e49fd72f318f977e6a2642ca12db authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make PBMax the default.

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

github.com/QuiltMC/quilt-loader-sat4j - 268c82c3619884db089cb51e649e981da1eebcae authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Maxsat solver now uses default PB solver instead of light one.

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

github.com/QuiltMC/quilt-loader-sat4j - 65c438db971b5a5dd9322f7c8af5eadf477b8f53 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using WL version of PB data structure by default.

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

github.com/QuiltMC/quilt-loader-sat4j - 8c51fe93da37175ba767ee8f41c227a8fdbaf708 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
DSFactories have been cleaned up

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

github.com/QuiltMC/quilt-loader-sat4j - 97e3f91e54e439b7d58442910049045b4631fbb4 authored almost 16 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated GateTranslator to return created IConstr.

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

github.com/QuiltMC/quilt-loader-sat4j - e44afac48e503a51c337b7ac306ba1b1fadf49b6 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated tests.

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

github.com/QuiltMC/quilt-loader-sat4j - fc07a8308cf4d6df11da3a7c58e2b5464ed671d6 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated again dependency helper for Cathy.

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

github.com/QuiltMC/quilt-loader-sat4j - 3828c78cf4330678940e5a29f03ad80af9e648e8 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@373 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

github.com/QuiltMC/quilt-loader-sat4j - 1c502ecc813d1839642e92e43a1ac4003b7e4eef authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new learned clause management based on Audemard and Simon work on Glucose to be published at IJCAI2009.

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

github.com/QuiltMC/quilt-loader-sat4j - 26419dbdb0539fbfc8a0a2f4d9c14298192b7173 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new learned clause management based on Audemard and Simon work on Glucose to be published at IJCAI2009.

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

github.com/QuiltMC/quilt-loader-sat4j - aad052b0e8619c4bd3b4d063c3eadfdeedc6e8b9 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added snapshot repository location.

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

github.com/QuiltMC/quilt-loader-sat4j - f65aa58c77e59340f6602c54af9bd61bfd029caa authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new helper methods.

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

github.com/QuiltMC/quilt-loader-sat4j - 667b2a99cdce599decb4ea72f7d4b20dab417515 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new helper methods.

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

github.com/QuiltMC/quilt-loader-sat4j - 65757f4cfc505fa665dd98fa8cb7d5347ba245a5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed typo in launcher output.

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

github.com/QuiltMC/quilt-loader-sat4j - 20cc5ad422edb697a398f8e78c1efa8fc73f67fc authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed version of SAT4J to 2.1.0 RC2 for RC2 release.

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

github.com/QuiltMC/quilt-loader-sat4j - fe2ab5456008e725406646d0b33946498c1e9beb authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented new method nextFreeVarId(à) added to ISolver interface.

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

github.com/QuiltMC/quilt-loader-sat4j - 10df109ddd0fb91f940125625f688df283a81a29 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated build file to exclude XplainTest and main pom file to introduce maven-pdf and maven-release.

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

github.com/QuiltMC/quilt-loader-sat4j - c735bdb9c2da50d93f870dd0ce949571a919bb8c authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The head literal cannot be set in the PB learnt constraints constructor because at that point, all the literals might be assigned.

That must be done in the assertConstraint method.

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

github.com/QuiltMC/quilt-loader-sat4j - 2af496d07c8c0a8d39f297cca8dc2b7d4757ef63 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made head and tail protected.

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

github.com/QuiltMC/quilt-loader-sat4j - 0f405baded03bc5cc74b1e48823ac8ece8df1fa5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed UnitClause by UnitClausePB in a few DSF. Hope I missed none.

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

github.com/QuiltMC/quilt-loader-sat4j - 66122e944baaeebe9ecc174a105d83ff812d9bb3 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
In the clausal case, the unassigned literal is always on head.

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

github.com/QuiltMC/quilt-loader-sat4j - cfa6f8ecb31baf2968ce120fa5af867c097d8156 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
We no longer have null constr in the map.

The variables are now ordered first on activity then on id (decreasing).

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

github.com/QuiltMC/quilt-loader-sat4j - 3efadf13b300f04c5000e5530b57147369cbdd44 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
newDefault updated

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

github.com/QuiltMC/quilt-loader-sat4j - e9e0f160e435b3ccaf6f8ce53867b1a797e33bd0 authored almost 16 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
PB solvers no longer use WL but HT data structure.

Removed class WLClausePB.

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

github.com/QuiltMC/quilt-loader-sat4j - cacac33666a76c59dbaae885d9e61c8d8bde5ecd authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed DefaultWLClause.

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

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - d2fd78a74e829cb1991858f497397ccfb35c75ad authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>