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

Fixed more PMD warnings (final classes).

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

github.com/QuiltMC/quilt-loader-sat4j - 3dc98db1d97df5293c717a492647e7e7a170f649 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
bug fixed (for bigCoef)

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

github.com/QuiltMC/quilt-loader-sat4j - 53ad320eb49f12ae95617dfbb3aa49dfd3470809 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed PMD warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - 30449dcd49d2d3894dafb7a62cddc5a3e3467a6b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed PMD warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - 4c2fca4d0e6c6f5142fcc05670e6fd0b9172666a authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed PMD warning.

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

github.com/QuiltMC/quilt-loader-sat4j - 4daa44f7ad0cd62dc512087fdada8c81361c6682 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed more PMD warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - a7ffd0cf055918a60ce6bcd9e68fc4df9af5bc7e authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed security warning from PMD about arrays (Array is stored directly)

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

github.com/QuiltMC/quilt-loader-sat4j - 0dca4553dd1bd41d9afe5db2a835ba1d1fe88cf0 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed empty while statement.

Fixed Eclipse warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - ea55e88bf6525c6a4c8a278e53435fe4867b44ce authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed empty while statement.

Fixed Eclipse warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - 2f08d459c864282146f2e67321ac3ca6f7083f5a authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented verbose methods in ISolver.

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

github.com/QuiltMC/quilt-loader-sat4j - f975870599b46b2a88526aae1fbd3bc953f21cb0 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The ResCP solver does not pass the full PB tests. Ignoring then in the build.

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

github.com/QuiltMC/quilt-loader-sat4j - 3c383b5422422738e8a8dd25d6fa1a7544641c0f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made p2 solver not verbose.

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

github.com/QuiltMC/quilt-loader-sat4j - 2e05b7efe442a03701db3034bb4965d1dfeb2dd5 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed class level access from an instance.

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

github.com/QuiltMC/quilt-loader-sat4j - 8b879645b40bff648d8a9c69f9c78cba0d458a6b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the solver to be verbose or not.

Fixed some missing @since tags.

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

github.com/QuiltMC/quilt-loader-sat4j - f72a96dc181e81b109ca741cfd1289410c4ee262 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made final classes for improved hotspot work.

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

github.com/QuiltMC/quilt-loader-sat4j - c2e813bd0bb1bf3699bbef4e2a7496232884bee3 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the iterator for the empty vector.

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

github.com/QuiltMC/quilt-loader-sat4j - db70a5539753b1d3aba68d4561484f8876f6200f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed final for clauses used in the PB solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 36f99489e560c76cf26a5a0ced86ea5027d225d0 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added final keyword on implementations of the strategy design pattern.

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

github.com/QuiltMC/quilt-loader-sat4j - a0994375d5e4060cf287cc1f892a2627f4f9fabb authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changing configuration for the solver between resolution and cutting planes switch (simplification, cleaning)

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

github.com/QuiltMC/quilt-loader-sat4j - 62d8ccf1623232d74515913ab2a7616c4a94cabe authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changing configuration for the solver between resolution and cutting planes switch (simplification, cleaning)

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

github.com/QuiltMC/quilt-loader-sat4j - 314febad4683b86798ce7d1e71b4af3f263416db authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed IllegalStateException set setFalse since it may happen that duplicate constraints detection ends up with a null constraint.

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

github.com/QuiltMC/quilt-loader-sat4j - 17d06ed104ad4c2bc91a66d750236e2b20cc3b78 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added VarOrderHeapObjective for solvers Cautious and ResCP

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

github.com/QuiltMC/quilt-loader-sat4j - dd804538d6da9e7c470d43507b5d8346f3bf7874 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
new Solver switching from resolution to cutting planes added

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

github.com/QuiltMC/quilt-loader-sat4j - 29dddbf4125b7a5bfe2c52bad19474d4cda6e42c authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
new Solver switching from resolution to cutting planes added

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

github.com/QuiltMC/quilt-loader-sat4j - c95505a09ef809dceb1fc6241e8f3b697d8c4da2 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a small bug (return solver field instead of local solver parameter).

Removed unused imports.

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

github.com/QuiltMC/quilt-loader-sat4j - d031ad66e3ae9bab3e82cf474bcd1a2ee0fb68ad authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses the solver defined by s parameter (or the library default) as a basis to setup the string based solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 3c45ac9bd9ec2855d3259858c2dd0c39232d5ec4 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method setLearner to allow incremental building of the solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 3602d545f757a0fd904fbc99b06a3b5eb2a3035c authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
stats added for reduction operations

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

github.com/QuiltMC/quilt-loader-sat4j - 94ca02aabc34e9d93cb8e544a7a8632b700fe168 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
SolverStats can be changed now (no more final, a setter added)

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

github.com/QuiltMC/quilt-loader-sat4j - fe453b5c28d2b2a39dd4f462b45ff08ce268f386 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
bug fixed for the criteria

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

github.com/QuiltMC/quilt-loader-sat4j - cc8e5273d8dde942d2f0957395513af0b62a24bf authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Tracer to follow the size of learned constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 80d661a80eb762dbc9d9cae709f137258b7b8735 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed wrong counter.

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

github.com/QuiltMC/quilt-loader-sat4j - d4bdadae8341cbc9425b250bb334ce967cd0852f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
using both coeff and size in tracer.

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

github.com/QuiltMC/quilt-loader-sat4j - 289f6fa6937a1ba6d7451098907e8fad4bc9e6f4 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated script to include pb code into the sat all-in-one jar.

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

github.com/QuiltMC/quilt-loader-sat4j - 9848364bf6eccc00cc045dd5f814e7edab65b878 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display only one information (biggest degree).

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

github.com/QuiltMC/quilt-loader-sat4j - 78a3777f0f97217c134191e7142f405a4551653f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display only one information (biggest degree).

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

github.com/QuiltMC/quilt-loader-sat4j - 407d723738cdd8da104d60f91e5daefb293a3f1c authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses gnuplot format for tracing coeff.

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

github.com/QuiltMC/quilt-loader-sat4j - 458d8820b4cbbcb0d6c48f1d9e32c09e970f1774 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The sat bundle now also depends of the pb bundle.

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

github.com/QuiltMC/quilt-loader-sat4j - bdb7544dc4ef8b32f55a369f6e84bec1941689d9 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to fix the phase selection strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - 5c7010ba75419aebebfe966af703aa22cc2fc493 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added commons logging required by BeanUtils.

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

github.com/QuiltMC/quilt-loader-sat4j - ecf2d7f99acf47b67f7a77ab93297f178de8811b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Provides insight about the building blocks of the string configuration.

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

github.com/QuiltMC/quilt-loader-sat4j - 8dc1656b2408b34971970841e5f731a7552f236f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display one line error on stderr.

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

github.com/QuiltMC/quilt-loader-sat4j - 425ae55b9bce9b93e6bc7fdd134d7c7e0b4a8833 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses stderr for fatal error messages.

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

github.com/QuiltMC/quilt-loader-sat4j - 72790174baf7616e319e4d36b43aa1f6b8cec3c9 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
disable file by restart policy.

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

github.com/QuiltMC/quilt-loader-sat4j - 0f7df819bf81b3936c5e04700382ee1a89e093ed authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
disable file by restart policy.

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

github.com/QuiltMC/quilt-loader-sat4j - d6144e15b60bd9ce927907efe1fe98093afecfc4 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for command line tracing options.

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

github.com/QuiltMC/quilt-loader-sat4j - 9435b0527d173ee2b8384dafb7aba34abc5a1cc0 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
No more arrayIndexOutOfBounds when no filename is given.

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

github.com/QuiltMC/quilt-loader-sat4j - b678bd281911f77f60d427f9aab11c1362d0a37b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
No more arrayIndexOutOfBounds when no filename is given.

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

github.com/QuiltMC/quilt-loader-sat4j - 83af8bedd03b785aa7722afd6a33004369b60620 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Handle problem with missing filename.

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

github.com/QuiltMC/quilt-loader-sat4j - 0efb67629bc974f3698f83aa4890854080eb0ab3 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Get more informative messages in case of error.

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

github.com/QuiltMC/quilt-loader-sat4j - 4caf0446810cb48ebb6698c7ec77dae5570799a7 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
getSearchListener() is now available in ISolver.

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

github.com/QuiltMC/quilt-loader-sat4j - 34c56b8f7f2ff1d59bbce0f40190a294c5a02bb5 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
getSearchListener() is now available in ISolver.

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

github.com/QuiltMC/quilt-loader-sat4j - 185d12c5dbc496a0910860530a68cd040325de50 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Now displays the available solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - 159cb0a6a89e61831fceac0282eab2dae380d270 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
tests for PBSolverCautious

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

github.com/QuiltMC/quilt-loader-sat4j - 13971bb7aae90ddb2b2984c05c2b9fed2b458233 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
tests for PBSolverCautious

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

github.com/QuiltMC/quilt-loader-sat4j - 9bb0d65d50ed55c86328c6e120e90feb1908447b authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
µRemoved non existing test.

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

github.com/QuiltMC/quilt-loader-sat4j - 913f24ef01de967d9b719ae58e49d7c1cd56678b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added ConflictTracing which is SearchListener implementation

switch between analyze by resolution or cutting planes prepared

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

github.com/QuiltMC/quilt-loader-sat4j - 3d500ab53d5edb12b79dd434bc19a4e15fe1ba91 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new method getSearchListener

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

github.com/QuiltMC/quilt-loader-sat4j - eca55de438d44b01344a19c1a2db1ce22028b396 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
PBSolverCautious : Upperbound is a number of digits now

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

github.com/QuiltMC/quilt-loader-sat4j - e11d6a5e2a8b4e5d3a5c7739d5a6fa87112d63fb authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added tests for new PBSolverCautious

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

github.com/QuiltMC/quilt-loader-sat4j - 6491bf51bc3e5c018df86febb1fc38526a3bf01f authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new solver PBSolverCautious, which changes pb-constraints to clauses when coefficients are too large (during analyse step).

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

github.com/QuiltMC/quilt-loader-sat4j - b5f32eb31f765f3972db8bdd36fd80ceb8c3b360 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem with duplicated clause detection (null clause returned).

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

github.com/QuiltMC/quilt-loader-sat4j - d5043d49e19b6e94b0fbcc8274803390e46fcb25 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do no longer accept null constraints in helper.

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

github.com/QuiltMC/quilt-loader-sat4j - 46ece3aa559824da31c7fddf91b006cca76faf7c authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method to translate a dimacs literal into its internal representation.

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

github.com/QuiltMC/quilt-loader-sat4j - d08710e36a3702103afe9b3fa6423078451bed55 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed dotSearchListener into DotSearchTracing.

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

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

github.com/QuiltMC/quilt-loader-sat4j - e415f11acb5eec21e39fb62466447c20e04937ae authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
New phase caching scheme that auto-erase cached phases during learning.

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

github.com/QuiltMC/quilt-loader-sat4j - 3c9d8dc2faaba52d795b07e2c629b2b9571deccf authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reuse single method for external->internal encoding.

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

github.com/QuiltMC/quilt-loader-sat4j - 9d35c05ebaf0295e4577fa472436191bc8bc2897 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed former tracing classes (moved to org.sat4j.tools).

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

github.com/QuiltMC/quilt-loader-sat4j - ce2d39ad006bad1d9b3121855375dc012d17c882 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added default tracers.

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

github.com/QuiltMC/quilt-loader-sat4j - 6837214822391e9da7d15862483d98b6d467f883 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new tracing information.

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

github.com/QuiltMC/quilt-loader-sat4j - 5acc40f3ca0ab02f71e9c17a55fc827d693306a1 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed Default tracing scheme

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

github.com/QuiltMC/quilt-loader-sat4j - 76f71606addc477bd3aecf982ef6f19e5380997b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add new tracing capabilities.

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

github.com/QuiltMC/quilt-loader-sat4j - 1ddc3b1fad682bb1c6dc710f20df8101740860f8 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to randomly pick a decision every now an then (i.e. a Random Walk).

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

github.com/QuiltMC/quilt-loader-sat4j - 9d058c90147857858b158d2bf33075c19da468ae authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the output of the solver (duplicated c (c c) on the configuration line.

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

github.com/QuiltMC/quilt-loader-sat4j - 473af05d9ab2e6cbb3268958cd41d25d9ae57d79 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted back code wrong committed.

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

github.com/QuiltMC/quilt-loader-sat4j - 8e5ac2e01de329d6753823327afb28e9d9862bdb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed message appearing when computing an optimal solution for Eclipse.

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

github.com/QuiltMC/quilt-loader-sat4j - 4f74e1865a870c7f5796dd4254b1736291be8487 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure that contigous duplicated clauses are just added once.

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

github.com/QuiltMC/quilt-loader-sat4j - 7cd2e0f96ea74aedf18795a84b04f65633c43edc authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new tests to show up the bug of negated literals and the policy to avoid continuous duplicated clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 5a25b73a2809eead5a0ebd79543697bda08911d2 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug in the case of new variables that appear first in a negative form.

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

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

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

github.com/QuiltMC/quilt-loader-sat4j - 6adb07710c93bebc9be6a50c0d13ebd68df269f9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reduced to one unique class per strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - c8705e94c880f290fde15810f66339b0223d0639 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed Armin Restarts for PBRes solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 4a1535cde7794a9e3bb82cee4df7d2fce84e4a0a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added license header.

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

github.com/QuiltMC/quilt-loader-sat4j - c6ecc9993d917a7efeb6b21c5b05a6fdc8417d04 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added entry point to produce a minimalist SAT solver in java.

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

github.com/QuiltMC/quilt-loader-sat4j - e2344b89d73d450a69d926e6b378a4a31283d2ab authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed performance problem when using nextFreeVarId: the vocabulary is at least doubled each time.

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

github.com/QuiltMC/quilt-loader-sat4j - 8807aff80bf01878f90dbfc9fb34e1ca72bcd014 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new test case for reset functionality.

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

github.com/QuiltMC/quilt-loader-sat4j - 1ceb7797a3c528e36348824cf271bc29edf1bcbf authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the bug in reset() method (qhead was not properly reset to 0).

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

github.com/QuiltMC/quilt-loader-sat4j - 57b548edd598aa54ebe50e3dff2220a1dea0d2a2 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated test case for reset functionality.

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

github.com/QuiltMC/quilt-loader-sat4j - 2c8d294b3f97cddc9d15e86c9c925e45f92b7ff9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Bug fixed : pure clauses created now (and not pb-clauses)

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

github.com/QuiltMC/quilt-loader-sat4j - a9edca960f8d6544d197cc719fedc249158b8e76 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed manifest file wrongly changed to interval orders bundle one.

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

github.com/QuiltMC/quilt-loader-sat4j - cabb7f9a552d8ca98f6e455eca995d0bd0169fd9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug in Solver.reset() method.

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

github.com/QuiltMC/quilt-loader-sat4j - 069f3b69429fb91d2cac709637cdd113263ff7eb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed reset() method.

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

github.com/QuiltMC/quilt-loader-sat4j - 3199151965d1a1b86952ebc06186288d8e864541 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated random problem generator.

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

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

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

github.com/QuiltMC/quilt-loader-sat4j - 20808364a71596935a515e94a6119ae2bceed9fe authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using CuttingPlanes based solver for that application.

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

github.com/QuiltMC/quilt-loader-sat4j - 2102c95c3c081e532a174463d2edd63424cbb6b5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for building interval orders tool.

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

github.com/QuiltMC/quilt-loader-sat4j - 64e9c7eda51b1d4078b927230f3c9adb440ef38c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for PB constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - f18406c8d3dcd03102f9fa043dd28e2e8070792a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for PB constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 7c83c2a5f21deb0abdeecae53eee8c39d4809ba5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for PB constraints.

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

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