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

counting also the solutions that way.

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

github.com/QuiltMC/quilt-loader-sat4j - 525f69c81dd8fa0fe2ea669a53d6daf57d33d3a3 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow ModelIterator to be work on primeImplicant().

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

github.com/QuiltMC/quilt-loader-sat4j - 168a893d718a87a58ca0c683c4cd5cc39fd94904 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Launches an exception when a zero is entered in a clause.

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

github.com/QuiltMC/quilt-loader-sat4j - 500c1af0d41a5938e3eb4e46ffb10a3065b2cd28 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for bug SAT-5, see http://jira.ow2.org/browse/SAT-5 for details.

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

github.com/QuiltMC/quilt-loader-sat4j - f330aa1d3f8f1db109be36e4760d4df6a80ce31a authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test cases showing bug SAT-5

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

github.com/QuiltMC/quilt-loader-sat4j - 256888a1b931a900ffab9850d27e5b751b7f463e authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test cases for global timeout on model enumeration.

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

github.com/QuiltMC/quilt-loader-sat4j - d9911bbb801e27ae54acf063be92a3c12b239880 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Non accessible fields now fail silently.

Allow to access subclass fields (for PBSolverStats).

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

github.com/QuiltMC/quilt-loader-sat4j - d479949bb15023d6d39fa3a3bfbbb80e4f414069 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
prime generation now hidden using a property.

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

github.com/QuiltMC/quilt-loader-sat4j - 9106b36aa19ebf69795b2e2a082d3722c2b71151 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added prime implicant information on launcher. Removed Tracing.

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

github.com/QuiltMC/quilt-loader-sat4j - 8ae3677bf13716b0b74829aba7ff19f7b5ed34d0 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a few tests for the new method primeImplicant() in IProblem.

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

github.com/QuiltMC/quilt-loader-sat4j - 68b2a65f6a9e241b89c79a5420e96b8b2f5aedc8 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method primeImplicant() in IProblem.

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

github.com/QuiltMC/quilt-loader-sat4j - 329a698f70fb31eecdb70fca79e6892cf7851ab3 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using PrintWriter for verbose mode.

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

github.com/QuiltMC/quilt-loader-sat4j - 7c4bc83dd04ec6dc72277faba15f664a4b77e331 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Bug fixed in static methods

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

github.com/QuiltMC/quilt-loader-sat4j - 178e5314158e02d5d76a961fb9105ac8787b98a2 authored almost 14 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added ExpSimp to Long solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - 62ef993e4e7bdbab46802d378c1803b4f0c0569f authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added ExpSimp to Long solvers. Made Long the default since it looks faster than other solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - f47e60b1b29fcf31a9f48fbbdf63be0c803c9d8b authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new solvers and constraints to deal with long coefficients (no more BigInteger coefficients in such constraints)

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

github.com/QuiltMC/quilt-loader-sat4j - 3e0d7c3876092510b1c5f94a205a1d903d65ccd9 authored almost 14 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new solvers and constraints to deal with long coefficients (no more BigInteger coefficients in such constraints)

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

github.com/QuiltMC/quilt-loader-sat4j - 55723d13a9a864186989a8e85a6efa675e68f8e3 authored almost 14 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a test case with a cardinality constraint as objective function.

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

github.com/QuiltMC/quilt-loader-sat4j - 3c657251d0e37a9c21616e5482a068b6cb70496c authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug occurring when iterating over optimal models: pseudo-boolean constraints were not properly removed from the solver if some propagations were possible (i.e. unit propagation). It is now fixed in the remove() method.

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

github.com/QuiltMC/quilt-loader-sat4j - ee5a002a26aacfed29c8bca419944a50b1cd7aba authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new test case showing a problem found by Emmanuel Lonca.

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

github.com/QuiltMC/quilt-loader-sat4j - d4e2e115d03136eabd0d4f634c3f7b59ca7c9886 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added toString() method.

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

github.com/QuiltMC/quilt-loader-sat4j - 9aebb422dad30c64e4fce213ae547045e33cf39c authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better fix for the issue reported by Mikolas.

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

github.com/QuiltMC/quilt-loader-sat4j - ed5948db2ae650908b3b6d6a8c6f913d5aaf2ce5 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed undos management as suggested by Mikolas.

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

github.com/QuiltMC/quilt-loader-sat4j - ebcb1a5065b580ebc5902ab3dc2636f29576d62d authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed missing license headers spotted by fossology report.

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

github.com/QuiltMC/quilt-loader-sat4j - 375e2207e403bc9bf769c17b979203409f116c6e authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed missing license headers spotted by fossology report.

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

github.com/QuiltMC/quilt-loader-sat4j - 95687b83c1450eb6f84fa61735e194c168131454 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed inefficient call to doubleValue() spotted by Mikolas into a more efficient longValue().

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

github.com/QuiltMC/quilt-loader-sat4j - 6390af74eb92f23ad070ddf7e5c60308e9d8aa92 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Checked the possible improvements suggested by Mikolas. Added comments in the code to explain why some of them are not possible.

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

github.com/QuiltMC/quilt-loader-sat4j - 5925919ffd0f3056dde0d979c1bd77d5b4080a46 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reused project.version in dependencies.

Deleted unused multicore project (now included in core or pb modules).

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

github.com/QuiltMC/quilt-loader-sat4j - 83bf54e50b7e07ce1a5d6b1789a796ad224d20ca authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added qrcode to download sat4j sudoku app.

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

github.com/QuiltMC/quilt-loader-sat4j - 37e9a85f792dd7a83b45cb9e7901621959d5e472 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed some accents in messages.

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

github.com/QuiltMC/quilt-loader-sat4j - ddad47c385f127afdc3be17e48c10b6f2bd5f568 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed maven version to 2.3.0-SNAPSHOT.

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

github.com/QuiltMC/quilt-loader-sat4j - 41e8aab4438a23dc42bfa60e2965a955c70d4421 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused parameters to build calls.

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

github.com/QuiltMC/quilt-loader-sat4j - e62cb47bed1f3a814c88e3ed9f03b48e0a1f3c94 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue in remove method.

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

github.com/QuiltMC/quilt-loader-sat4j - a14bdd067101c1e30b40553865bbc709fb1504b2 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new test for Vec.remove().

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

github.com/QuiltMC/quilt-loader-sat4j - 7795bc5364c81b1a7bb96cc489f3c0306530dc6a authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved memory management when the solver is reused several times without being in a global situation.

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

github.com/QuiltMC/quilt-loader-sat4j - 98d904439bf17fe27205d370a7de306bc8eb5f63 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug introduced in init() method in Glucose learned clause deletion strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - 9e8f9ca2e4d787d8b1332842c2a6c38c5ccb6179 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed init() method in Glucose learned clause deletion strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - 85922fbd48eb1e506ccd960fe8c8e3153f25c409 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a trick to avoid to launch a sat test if only one element remains in the unsat core.

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

github.com/QuiltMC/quilt-loader-sat4j - 874957a172b46173227cf6ae1cba85d80ef5b4ce authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Sort unsat core. Appears in decreasing orders because the numbers are negative ...

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

github.com/QuiltMC/quilt-loader-sat4j - d9a8569011d03eb7aa1868d1bd3c850ba0920577 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the encoding of HL MUS.

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

github.com/QuiltMC/quilt-loader-sat4j - b386d98600970b3cd3cdc55741c26e033e3d478c authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added cancellation support for Deletion.

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

github.com/QuiltMC/quilt-loader-sat4j - 26134a67811c441ebeeeda261b170e688b865db0 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
QuickXplain is now implemented as described in 2004.

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

github.com/QuiltMC/quilt-loader-sat4j - 779b4fe77050c744f94296b6561571fc4a8305bf authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a test for quickxplain 2001.

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

github.com/QuiltMC/quilt-loader-sat4j - 0fab506ea2fbe197738c8ed47a7dc0340f7523a0 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed some debug messages.

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

github.com/QuiltMC/quilt-loader-sat4j - f37a27410d548f6e178d66a24e85f182f0d3f8ae authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Making clear in the output messages if computing a HL MUS or a MUS.

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

github.com/QuiltMC/quilt-loader-sat4j - e0644f53a982539f83833dfcce74410210730db6 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Wrong solution: it only provides the last time that file was changed.

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

github.com/QuiltMC/quilt-loader-sat4j - ad14193e05e3162778026d82ccce205320c04969 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Sat4J version file now contains SVN revision.

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

github.com/QuiltMC/quilt-loader-sat4j - 470b2f12d27713123aa8517bb87db908f77790e7 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
delegate minimization strategy description to strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - d9391dfe17c660f347e64fb1772f54f98f402421 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
delegate minimization strategy description to strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - 3dfc7f33d87920e4b2390fddb66f36951fd68b88 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for multiple minimization strategies.

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

github.com/QuiltMC/quilt-loader-sat4j - f2a7adf5c457ad2a965ac848a57cd97c55b0e918 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Default behavior is now deletion based.

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

github.com/QuiltMC/quilt-loader-sat4j - 9579da016da266ddcd1800964efcedf66305cb7b authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The tests exists now for all strategies.

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

github.com/QuiltMC/quilt-loader-sat4j - c397268c23e39953c9bebd0fb10a697bc3013fe4 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Huge changes in the explanation part, with better names for the minimization strategies.

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

github.com/QuiltMC/quilt-loader-sat4j - 3b442ad39d3c32635fde8246e898efb1a9d53cb8 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed launcher MUS extension detection (really).

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

github.com/QuiltMC/quilt-loader-sat4j - f9e5159296092306a2094d14c0834a637e79654f authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed launcher MUS extension detection.

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

github.com/QuiltMC/quilt-loader-sat4j - 87d0e4b70bdc83221198606ca01e238888fcfcd0 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed sat4j mus usage message.

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

github.com/QuiltMC/quilt-loader-sat4j - de2d212fab750db1d4593b96e93b52008b29d26a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed structured CNF to GroupedCNF as suggested by Joao Marques Silva.

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

github.com/QuiltMC/quilt-loader-sat4j - 4bba827ee55d29a2aacee9c602b6fa26e548aa36 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed two testcases.

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

github.com/QuiltMC/quilt-loader-sat4j - 578cce00de316beac879cfedd6c2404e0b35d79d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added mus target.

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

github.com/QuiltMC/quilt-loader-sat4j - 7a4de1c07882f92555e09ffb4cc01d21cce19625 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed core computation time.

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

github.com/QuiltMC/quilt-loader-sat4j - d364130469e28d8c045017cb6d497cdef2303591 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a check in the component index.

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

github.com/QuiltMC/quilt-loader-sat4j - 43c2df5f5acc04c3b349eee630f67fab30cb4244 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated xplain framework javadoc.

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

github.com/QuiltMC/quilt-loader-sat4j - 0a657286782be6fb61fbbb0badb9f419ee1a8edc authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed a big explanation API.

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

github.com/QuiltMC/quilt-loader-sat4j - 0057b964becc23f5aeb0da11ac67b433d54ef2f0 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
First implementation of High Level MUS computation.

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

github.com/QuiltMC/quilt-loader-sat4j - a34d56c6abbcbf48427174949d7e303ec23a4390 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Started working on high level explanation.

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

github.com/QuiltMC/quilt-loader-sat4j - d76c7b5673d58faee70c79b0c03a7527ae0f5d5d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display information regarding the MUS computation.

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

github.com/QuiltMC/quilt-loader-sat4j - f82d3a72d64340a402a28138ef2edbc7255181ce authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated tests to check constraints indexes.

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

github.com/QuiltMC/quilt-loader-sat4j - 9e64766ca20689ab7b084d8ec83174b741e5202b authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
First release of MUS solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 539fc2ae2f00cbb2cd0c78189d0c3097f72eb246 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Apply phase selection strategy during Random Walk.

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

github.com/QuiltMC/quilt-loader-sat4j - 12fe56a3a5941602f4ab8f8f20eed0bd3ff92c0a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Decision tracing keeps only the latest call to start.

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

github.com/QuiltMC/quilt-loader-sat4j - d9970431ff928553f552acc9e7b3e0e2fb093fce authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
TestCase from Mikolas: qhead not properly updated when using solver.unset()

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

github.com/QuiltMC/quilt-loader-sat4j - 74221ce2789772721676efba5cc623a60910c796 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug found by Mikolas: qhead value not properly updated when using unset() method.

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

github.com/QuiltMC/quilt-loader-sat4j - 5d723cd6fdefe954734efedb3d251bca36cc917e authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare for next development iteration

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

github.com/QuiltMC/quilt-loader-sat4j - 31d93550a31b492431d7dbae82456ca01578610d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.sat4j.pom-2.2.3

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

github.com/QuiltMC/quilt-loader-sat4j - 7e9c4daafb53cf84919846b889c092476c7adab3 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed the version of the plugin to be able to use maven release plugin.

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

github.com/QuiltMC/quilt-loader-sat4j - 7006e5a3858db6bfce491f0cd06f4b311163dd7b authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed memory based solver (was no longer memory based).

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

github.com/QuiltMC/quilt-loader-sat4j - f6117cdebef0b4f5a882390d9777035f5df27681 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using equals instead of atmost when an optimal solution is found.

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

github.com/QuiltMC/quilt-loader-sat4j - aa2d86b755285d02e2e73f1f48fc780544141a68 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Another bug related to trivial inconsistency.

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

github.com/QuiltMC/quilt-loader-sat4j - 3d4aaba119b8b0b30f94002d41b46534bf529259 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug found during Misc Live #3 where the optimal solution is not found is a first criterion as optimal value of 0.

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

github.com/QuiltMC/quilt-loader-sat4j - a46eaab6974389281a73cb791090f31831402487 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented the missing method isOptimal.

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

github.com/QuiltMC/quilt-loader-sat4j - 2279681f8e8378017d66f8df55c5eda0a087b5ae authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a toString() method.

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

github.com/QuiltMC/quilt-loader-sat4j - 8516c15ae741da49dd88ae2eaed8e6a913e0c14a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Found a more elegant way to manage optimality in adapters.

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

github.com/QuiltMC/quilt-loader-sat4j - dc27215b53b99366746a0a714abb7ed5cfbd20c5 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Found a more elegant way to manage optimality in adapters.

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

github.com/QuiltMC/quilt-loader-sat4j - 74dbe22b1cc32b95537e15ffd4327ddf464aee59 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Does not longer rely on the underlying optimization problem to know if the solution is optimal or not.

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

github.com/QuiltMC/quilt-loader-sat4j - 235cb95e4bd28309c4c51f1faf3f6ef037acfeb6 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Does not longer rely on the underlying optimization problem to know if the solution is optimal or not.

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

github.com/QuiltMC/quilt-loader-sat4j - 84f7a59bbe55424a98f537763c69296e71db750f authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Provide support for knowing if a solution found is optimal or not in optimization problems.

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

github.com/QuiltMC/quilt-loader-sat4j - ce7c652dd7e95cd8c747c2096e7cec0e0e437bc5 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Provide support for knowing if a solution found is optimal or not in optimization problems.

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

github.com/QuiltMC/quilt-loader-sat4j - 7d976aa4f14d0de7c5dd4f82b2a63f746380c79d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the definition of lexicographic optimization criteria (using only cardinality constraints for the moment).

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

github.com/QuiltMC/quilt-loader-sat4j - e929d13f8d3aa1647d0f77a48b311e39afa4e896 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
New solver decorator allowing to perform lexicographic optimization.

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

github.com/QuiltMC/quilt-loader-sat4j - 3d9b67a9f2d0e3d6bbf2a92e77cfe3f7c043c95d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Use properly log prefix to display the winner.

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

github.com/QuiltMC/quilt-loader-sat4j - 16dfe6eb7eeb878e15c6c9c55e52527af8cb3b59 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix maven version tag to 2.2.3-SNAPSHOT.

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

github.com/QuiltMC/quilt-loader-sat4j - bbaa889d2247e087a24fbbf963257cf24a5a09f4 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Create resolution solver with simple simplification.

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

github.com/QuiltMC/quilt-loader-sat4j - d1c08d229c3b9e1f6490ef787f984810cbd67716 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added halfOr support.

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

github.com/QuiltMC/quilt-loader-sat4j - a9333fe63473a0203617490eef75b285f157194f authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added halfOr translation.

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

github.com/QuiltMC/quilt-loader-sat4j - 4258d21171fdeca449fbb5d0e34485faf2c92edb authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Properly propagate setVerbose property.

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

github.com/QuiltMC/quilt-loader-sat4j - 54569282b4dcb11a4f4f029ab79903df5fccf66b authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem when displaying negated literals in the middle of a clause (was displayed positively).

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

github.com/QuiltMC/quilt-loader-sat4j - fdb08dbbce896329d7cdf6484c66361758224ac3 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added possibility to manage specifically the phase of the literals from the conflict decision level (as in Minisat 2.1).

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

github.com/QuiltMC/quilt-loader-sat4j - 59cce34aedb2c3153a43e377551e842b1598fc96 authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using a better runtime type verification.

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

github.com/QuiltMC/quilt-loader-sat4j - 9e2e78131cff9ce693a27734af12be27bd780668 authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless visibility modifiers.

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

github.com/QuiltMC/quilt-loader-sat4j - dd560a645a8983f859c691e2c0d922320d5d1c20 authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented line of code.

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

github.com/QuiltMC/quilt-loader-sat4j - de0fdca689b0b5980b7f9c6e0efc69da41427cef authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>