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

More @since tags thanks to Eclipse API tooling.

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

c0566478a83546ac03470eb86f3d11c06cfb0824 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added @since tags thanks to Eclipse API tooling.

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

21903bf383dec7ff02e417bcaddb2f5b89690889 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make Eclipse compiler the default java compiler.

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

a037c89c40ddb4372b47dafc290a33e66ec50bcd authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new test file.

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

b3f5e730d109a4bae7f1ff5470aca6f411768f4d authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Move GoodOPBReader to tests since it is only used there.

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

0b1ef4bc8a24263599f05992f162cc594b479a11 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Returning a reader, no longer an InstanceReader.

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

78192b22af47c88f9a5398c799f5e6e08550973a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed references to GooOPBReader.

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

dcf84398749879af20e562f2bfacbc8aa1d67d3a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed access to java.util.Scanner class.

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

9d3adf94e974482c54bd1ca023818f8c8c819a1b authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused imports.

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

0d25e04d0cec9e37c1d4e26e5983db03054831b2 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed ECJ warning.

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

5898e4b519114b9d50b9e538329b6a23619842f5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed ECJ warning.

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

e6baa0d767e53ff65df6444dddc2f285723dfbd7 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed ECJ warning.

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

e88d16e8577a1df2673cb31646267b8798077338 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed ECJ warning.

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

9f2d0df9d2b16160db6efcf929585f05626f90f5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed ECJ warning.

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

840e977b3674c471ecfe295b2e87c81d93519622 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed for Eclipse bug 276412

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

5c844f16189d9d7eeef72ddb0274de594a9540bb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
New user friendly output to debug domain encodings.

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

c22d000ba59d5d90ff94d3dddf64d581bb757022 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
should really be FIXED now : assertive literal is now the first literal in learned clauses

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

e16e9034933b204ad7013cb740d416ad6e7648bf authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
FIXED : assertive literal is now the first literal in learned clauses

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

f15e4de7048e56452d0e2aa3824b364058de24e8 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the problem of missing objective function.

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

6d0d9f6a4f8d1afb0b3652e6ab93ed955d093172 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed debugging message on the console.

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

70420cb6aef3c1925a0c272cb156109a1828a2a8 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure to remove the last constraint that makes the formula unsatisfiable to allow iterating over the optimal solutions.

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

a0cbf89660e5b2056c20e0309e52665d3d08b87f authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
learned literals are now properly handled in the solver.

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

f4a9299734aa8aa83c0338f64bc2a212fc6f5892 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Probable fix for Eclipse Bug275101

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

1db7ff0fe8990e241b71e4ca1ca5171a2b87959c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed optimization keyword.

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

5d8de899bce72a12b70c91d3117053c1f48230f3 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow proper management of unit clauses deletion.

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

3b175f303982a6ec90f7173e1a86a38145cd214b authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow proper management of unit clauses deletion.

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

0f36f41cd1f6a4c944c27df485f2ae8050760d53 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial support for iterating over optimal solutions.

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

45f31c61a2a20502aee606576c5a3720396f10ab authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial support for iterating over optimal solutions.

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

9e27fc4f382bdaf692c4210e144a345a57ce84bd authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial support for iterating over optimal solutions.

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

0186d20001ca250247057d4db1d09441465f559b authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial support for iterating over optimal solutions.

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

15feda9f9f436421fc3bc83800ada3370b49454d authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to limit the number of models returned by ModelIterator.

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

afa11c5adea9497c3e7869b18d30966dbce9c402 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to disable explanation support from the helper.

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

180590950f69923b3e082ae61e9f00389e66766f authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Configured glucose with a Luby restart strategy with factor 512.

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

268e96034aa00d24c2a9420a60e3507c26e45053 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed memory based deletion scheme.

Added direct call to GC.

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

bf9e33947c80e47710a4a5b1f3f1970edeeca76f authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
forgot to make the call to reduce().

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

2847f646df5c7d96946b6557946b846207cdd6ed authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a specific entry for glucose solver.

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

da6efddb1a08f8264884b2efdb506aa3e0228822 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@420 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

cd1c649a87f11b1ff9a6f42bc25319dce61e3ceb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Previous fix was wrong. Need to find another solution.

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

414dceb00c26e8c611f9fc9ca8837acb3aee8b05 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do not keep unit clauses learned during search (to make sure that optimization does not end up with a wrong solution).

TODO: improve that scheme to forget only those clauses when doing optimization.

git-svn-id: svn+...

246308b3253e0c34ecbae13f95e517abd4d9a1b1 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed global timeout issue.

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

ed3c0ef0751e34abc4abb3f16d97fee0ff705467 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to get the objective function from the IPBSolver.

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

d71c9368b8d77e1ab4cbf509a2fb799e12cac764 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Breaking ties using constraints size.

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

cca741e55c8e1a1a47fd7c7a36a8997ddf5946be authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
static final INormalizer are now public (and not package)

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

b156b859da68d76ef6ac13164a0dca06dd6cab4b authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
new solvers added for non normalized constraints

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

20de6be988293dd7374014fd013978ad97f6630f authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
PseudoAllSolutionDecorator renamed by PseudoIteratorDecorator

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

752406e5d4948229d956b5795969f8b84931388c authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a way to incrementally build the objective function. Added a simple method to create a clause.

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

9ebf837d42aa2a12ff69fa20762e687533d18231 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed typos in error message.

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

b2d64459329a2fca5773183f6348b66c153da904 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reset previousPBConstr when it is removed.

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

09e22044244b911221fb6b643f00157726921b49 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new methods to DependencyHelper. The PseudoOptDecorator should not let the solver in an unsatisfiable state now.

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

fb50648fa55674113a135a82b0c53dcdff0092a5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
comments added

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

54b0317cfa79e4a7250030275d7554b9bbb0aa0d authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new class to obtain all models of an pb-problem

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

9d90370a51bf50f1e3eee0826231880c4a6e9a1a authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the solver called Resolution (it was a CP based solver!!!!).

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

9ce34cfce5e3e4f68406b7e5312d051a244253be authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method to discard an existing solution.

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

cc3a42bed1e6f51bb5af01852b1924fc14de12e1 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a potential bug when initializing mseen array.

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

9d3746cd3d2cb67cddc152dad404d575dcf65722 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem of multi spaces between numbers in parameter line.

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

8632a859c158b25859e8cbfbd50ca818a9371786 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem of multi spaces between numbers in parameter line.

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

ac45782900a314da034866c04f6bf112a18b7f37 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem with windows generated benchmarks.

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

94ec6a870195a7f70c6685e041b16fed8c032ce7 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a potential bug concerning the correctness of the solver.

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

388f8efe9411097f469dacb5e6d7eb050c21adae authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed slow reading of wcnf. The new reader need to be tested on a wide range of wcnf benchmarks.

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

6bf63975fb9ef6255a3a479de3765bef9f9116e1 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed slow reading of wcnf. The new reader need to be tested on a wide range of wcnf benchmarks.

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

456c37c046e3d5cef40559d16edf6aeb755874e6 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug for decision benchmarks.

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

d3bc5e86d1106087d62296ca48183303236c7167 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back Glucose learned clauses management.

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

685a63e5be0fecd528eaf25ad4da7ddf907b9861 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove opt constraint without clearing learned clauses.

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

6888a29a9e4eb359b8c25ce6ce9803b0de3737e0 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Constraints are now removed without clearing learned constraints.

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

d00278c53eb828fb8b2afdec6adff8882b097441 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Decremented counters where constraints are removed.

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

2ca1078c0007eddf4b337bae3d67d34ea34687b8 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created a new removeSubsumedConstr method to avoid to clear learned constraints.

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

4692cf2651d6da99d11dbb30e17b1431a015c874 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed glucose related code.

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

b29b20f24116077687aa21e920929b5d3f633a2e authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove constraints added to find an optimal solution.

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

9943922d2c0032b6fcef6e94b69544619803aded authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Learnt cardinalities correctly chosen

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

504c18b9a0964d641515c17b3c48dca4b858953b authored almost 16 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
new tests for CompetResolution DS Factories

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

66ac026fa4086b89df1378a44722bf1bd8da5161 authored almost 16 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
set the previousPBConstr field to null in reset().

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

5b29d895c9cbcbfc02e05f3c8f9231335b7a668e 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@385 ba638df5-4473-46d1-82f8-c3...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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