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

Added classpath in manifest file.

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

github.com/QuiltMC/quilt-loader-sat4j - f9be1190c18977e5ca8f1f380e3ace47f360ed41 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a timeout of 10mn

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

github.com/QuiltMC/quilt-loader-sat4j - 1a4b465cdbb526a8c20a105a4bfe351fe55f941b authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Use Armin rapid restarts by default.

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

github.com/QuiltMC/quilt-loader-sat4j - 065e39cb46c28ee09bc1075771c0e68109a4e538 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove cost function constraints in case of timeout.

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

github.com/QuiltMC/quilt-loader-sat4j - 1d3cd7c45005153053dd7bef333e3f8c69cf7342 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add a message when a new solution is found.

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

github.com/QuiltMC/quilt-loader-sat4j - ba1fed1ccb6108e915e6dda7571e14dd387e2636 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed message displayed about instance specific constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - b6c901699429fc63d50f075fd6d65f41d80e9df9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
add missing resources directory.

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

github.com/QuiltMC/quilt-loader-sat4j - 36218e80ce8dc9f4adeae9cec90d4825caa640bd authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added manifest file.

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

github.com/QuiltMC/quilt-loader-sat4j - 8e71bb825cecdf255887f5d08d74659d8ec1e357 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added manifest file.

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

github.com/QuiltMC/quilt-loader-sat4j - 8db1417452164175971d80c9dec2d8c701e75773 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed project structure to maven2 one.

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

github.com/QuiltMC/quilt-loader-sat4j - 94b95e0a2c5f667ede3f83dde15ebdf0380d7578 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed project structure to maven2 one.

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

github.com/QuiltMC/quilt-loader-sat4j - 635baecf55a20d52f0526cfcac6bff304fb5e7d4 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add new methods to access the mapping.

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

github.com/QuiltMC/quilt-loader-sat4j - 2751e1eb04d496e53ff60542d74c686c9047cabb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Disable explanation support: the code is now much faster!

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

github.com/QuiltMC/quilt-loader-sat4j - 44f0d9e6d7c274194a85e79b4a9b4c9f8070947c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial version for the paper at ADT 2009. Random generation model improved.

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

github.com/QuiltMC/quilt-loader-sat4j - 16b4e29f8033527c57ff937379e7165ff446550e authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import.

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

github.com/QuiltMC/quilt-loader-sat4j - 1f23442d04a37f02b4adf2c7f527b51e41bed985 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Bug fuxed when learnt cardinalities were removed

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

github.com/QuiltMC/quilt-loader-sat4j - 63387356cc3d3083718e66036d4ecbf1cb2a63a2 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed Sonar warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - e5f435a9669e637f5da92104d0298983010b57f0 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed Sonar warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - 3e77005ea62b558e22ce6a6f953de8aadf1ff8d0 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed Sonar warnings + added save actions on project.

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

github.com/QuiltMC/quilt-loader-sat4j - 83ab37697da5c85f2a065a9c0a8d468b17d66c9d authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed potential problem with bigint degree that might not be equal to int degree.

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

github.com/QuiltMC/quilt-loader-sat4j - aa99d21b0630e194617c205c0524078debda0bd3 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added PB09 test cases.

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

github.com/QuiltMC/quilt-loader-sat4j - b24a3f4cebe1e7d3d79c62a51d930a42c07df9dc authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
createClause now creates PBClause (clauses that can be involved in cutting planes)

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

github.com/QuiltMC/quilt-loader-sat4j - a447d71c017d0a34b8eef7369f293b2e77737ac1 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated pom (2.1 version). Disable tests with timeout.

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

github.com/QuiltMC/quilt-loader-sat4j - 49bb648906a2f65a9fd0fc79a9fde84cd832050c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the missing methods.

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

github.com/QuiltMC/quilt-loader-sat4j - 47f52b556688653fff4801392c6c76c250c3b4fa authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed new constructor for DotSearchListener.

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

github.com/QuiltMC/quilt-loader-sat4j - c05ea1444d3c4e3800f90c066658e98c27f0e302 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Timeout is now 60s for each test case.

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

github.com/QuiltMC/quilt-loader-sat4j - c89c6c68ab70bd01079c029efc1faabc5d5de4d4 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed InstanceReader. Changed into OPB reader.

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

github.com/QuiltMC/quilt-loader-sat4j - 182fe39d1e651c2c9497d062ce4e32b84c2637dd authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the output listeners to use the dependency helper mapping.

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

github.com/QuiltMC/quilt-loader-sat4j - 64748af0d69ec356131ce1542aba50d1aae1ceaa authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed timeout exception message.

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

github.com/QuiltMC/quilt-loader-sat4j - 4a00db710755b803ccd93aeec906c4c838032fe0 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
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...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

github.com/QuiltMC/quilt-loader-sat4j - 9d3746cd3d2cb67cddc152dad404d575dcf65722 authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 8632a859c158b25859e8cbfbd50ca818a9371786 authored over 15 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...

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

github.com/QuiltMC/quilt-loader-sat4j - 94ec6a870195a7f70c6685e041b16fed8c032ce7 authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 388f8efe9411097f469dacb5e6d7eb050c21adae authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 6bf63975fb9ef6255a3a479de3765bef9f9116e1 authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 456c37c046e3d5cef40559d16edf6aeb755874e6 authored over 15 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...

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

github.com/QuiltMC/quilt-loader-sat4j - 685a63e5be0fecd528eaf25ad4da7ddf907b9861 authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 6888a29a9e4eb359b8c25ce6ce9803b0de3737e0 authored over 15 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...

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

github.com/QuiltMC/quilt-loader-sat4j - 2ca1078c0007eddf4b337bae3d67d34ea34687b8 authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 4692cf2651d6da99d11dbb30e17b1431a015c874 authored over 15 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...

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

github.com/QuiltMC/quilt-loader-sat4j - 9943922d2c0032b6fcef6e94b69544619803aded authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 504c18b9a0964d641515c17b3c48dca4b858953b authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 66ac026fa4086b89df1378a44722bf1bd8da5161 authored over 15 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...

github.com/QuiltMC/quilt-loader-sat4j - 5b29d895c9cbcbfc02e05f3c8f9231335b7a668e authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>