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 stupid bugs in the WBO encoding.

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

github.com/QuiltMC/quilt-loader-sat4j - 7fe08e6b9258acd966a30061b174abf1395ee612 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial implementation of WBO for PB 2010

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

github.com/QuiltMC/quilt-loader-sat4j - d60d1128dd61b68d336a878e975190145164d415 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Hide variables created during linearization while outputting a model.

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

github.com/QuiltMC/quilt-loader-sat4j - 21ddbaaec5d069daa2a42340b49adc8cdac81c19 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the checks for varId that was not correct in case of linearisation.

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

github.com/QuiltMC/quilt-loader-sat4j - 4834c380b73ca23026f6e6b42949afb95337e8d2 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display line number in case of error in the PB file.

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

github.com/QuiltMC/quilt-loader-sat4j - 11482d847c4149638735f9446d468d98037df264 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed some @since annotations.

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

github.com/QuiltMC/quilt-loader-sat4j - cd1ac4a5c9784a503ca258e2cea8ee1d68f7cd98 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed msuncore that appears on 3.0 branch.

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

github.com/QuiltMC/quilt-loader-sat4j - 034d52419fde982dd5338910f9bb07e08df0deac authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Increased timeout.

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

github.com/QuiltMC/quilt-loader-sat4j - b3be1745e305b66f66e29a0a7991cf65fcdd6a7c authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using decisionLevel() instead of trailLim.size() to make the code more readable.

Made decisionLevel() method final to allow the JVM to inline that method.

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

github.com/QuiltMC/quilt-loader-sat4j - d91aedb0453feb47477dee7f6c4ab4cd8254d3f3 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug occurring in the Eclipse I and N-build.

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

github.com/QuiltMC/quilt-loader-sat4j - 5793d45bbaece9f4a707b4fd8ec3f879a852ab19 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Throws an exception when the object passed to the getValueFor method is unknown to the solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 7c47288ee94f73ce3966621ba8e6dc1cdb055d42 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Launch an IllegalArgumentException when asking for the varId of an unknown object.

Return false when the value of an unknown object is requested.

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

github.com/QuiltMC/quilt-loader-sat4j - 857414c039ed90281830f241d03c9e51454cf573 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed error when printing only negated literals.

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

github.com/QuiltMC/quilt-loader-sat4j - 298c474ddcd57732d4c3f41d6ad3b2bbe8d3d693 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
some comments added and dead code removed

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

github.com/QuiltMC/quilt-loader-sat4j - 4dbb596984a1d2ff10f7fcc3821fa714034eab1c authored over 14 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do not launch IllegalStateException in setTrue if constr is null.

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

github.com/QuiltMC/quilt-loader-sat4j - bd463777392403cc20e536405642f58d36bb3ec1 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a PB solver with a simple restart strategy (but Glucose style memory management).

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

github.com/QuiltMC/quilt-loader-sat4j - 7bc6534a50c76b52cbdeb25cda0ffcd8ed29a049 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Default solver is returning ResolutionGlucose.

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

github.com/QuiltMC/quilt-loader-sat4j - a65f84008b9e916d80d8c410d356caa0aa5d6a94 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made available a default solver with glucose memory management, and two resolution based solvers, one using glucose and one eating has much memory as possible.

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

github.com/QuiltMC/quilt-loader-sat4j - ec850b7263827bf6fce98a81d348b12e0c88271d authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed glucose memory management for pb solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - a9730ba5e612455400e0ce538cf1844f1f23ecf7 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using glucose style memory management for default resolution based PB solver.

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

github.com/QuiltMC/quilt-loader-sat4j - d507b07c07b3482097cf3421bfc9a852e9e696f4 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back the missing HT solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 4df6fdd539e85086be92f1461cb682cd534ca299 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using WL for default PB solving.Keep HT data structure for Eclipse PB solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 4f63e06cb84c3d850890cf797bc058e03696e436 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a nasty bug found by Luis.

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

github.com/QuiltMC/quilt-loader-sat4j - 20dc491a61ed00576c23f4d934d3f38dd0fd4644 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed copyright header.

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

github.com/QuiltMC/quilt-loader-sat4j - 94f114e05b7ed1e749d47eb40d37f307014e2c85 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Yet another fix in the explanation algorithm.

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

github.com/QuiltMC/quilt-loader-sat4j - c2f964b1bc3389d110307b7e3409e7d7b81c63b2 authored almost 15 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issues with explanation within dependencyHelper.

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

github.com/QuiltMC/quilt-loader-sat4j - 660759af761566740d55e59ed75372c95bf60f20 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with TestGroup failing test.

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

github.com/QuiltMC/quilt-loader-sat4j - b7ff94e1c95e44373a7927e5cf955f5026630686 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed wrong assertion.

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

github.com/QuiltMC/quilt-loader-sat4j - 71f940117b0543afa9ffa92bfff9fba6c439336a authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Unified way to deal with explanation.

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

github.com/QuiltMC/quilt-loader-sat4j - 09c38d2bb767e31775e521aa4585126f1deed1d5 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted back to classical MAXSAT decorator.

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

github.com/QuiltMC/quilt-loader-sat4j - 300af13aab19f7c8af5fd519a689c209df85251a authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved xplain procedure.

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

github.com/QuiltMC/quilt-loader-sat4j - 02f21966300953d7e68b3dbeb1a4f87a2aa96765 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Should really work now.

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

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

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

github.com/QuiltMC/quilt-loader-sat4j - 20a33de4920b01ef94c408aaab205cd4b79ef5d7 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with empty negLits vector.

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

github.com/QuiltMC/quilt-loader-sat4j - 100fb6c372b4d108f4294dc99a25a0527d3c5169 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses the unsat core approach for maxsat.

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

github.com/QuiltMC/quilt-loader-sat4j - 7e1ec58d9cc7c7e1cb1c3888176c5d0827a6d8d8 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Creates an unsat core based solver for MAXSAT problems.

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

github.com/QuiltMC/quilt-loader-sat4j - 9622119e9e011c8e28e516e91373334b60de0f6d authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implement new unsatExplanation method.

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

github.com/QuiltMC/quilt-loader-sat4j - 5faa068cc26f62703eb765ce86a1c8924ee11063 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added @since tag to LightFactory.

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

github.com/QuiltMC/quilt-loader-sat4j - 83696e3bdde0889679c4bda95ef72c4103aff6c1 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved support for explanation.

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

github.com/QuiltMC/quilt-loader-sat4j - 5190bb468b3c4fdf8993c51323e14830a25e81c5 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed test case.

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

github.com/QuiltMC/quilt-loader-sat4j - d495bdc6a1c4fe89366962dcb5609a8add52b499 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated build file to also update the date by next release of eclipse.

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

github.com/QuiltMC/quilt-loader-sat4j - 789f017ba6cced296b8981e5f4a8cf54d499cb42 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Automatic update of SAT4J version number in about.html files.

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

github.com/QuiltMC/quilt-loader-sat4j - c12a5308026f3adb373235035ffaf91b93d9f66a authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved SAT4J version file to its proper place, within resources.

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

github.com/QuiltMC/quilt-loader-sat4j - 417ea4cea7ee143d3dbfbaa70e29528f68dcdea1 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replacing version token in MANIFEST files.

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

github.com/QuiltMC/quilt-loader-sat4j - 8f5ba8e144475fde714884759bdb9fd5286ba35a authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed reports conf files.

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

github.com/QuiltMC/quilt-loader-sat4j - 8b80aa8d92e04c6107e7d942b3c78a6f51c98c1d authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed filtering settings.

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

github.com/QuiltMC/quilt-loader-sat4j - 260b107d979056ef3dd717cb46b8364f71e568dd authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using eclipse compiler and jsr14 target.

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

github.com/QuiltMC/quilt-loader-sat4j - 6a8f92452bb4ae0b7d2678449e33c867ff8fe3ee authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed pom with SNAPSHOT version.

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

github.com/QuiltMC/quilt-loader-sat4j - b89c20291c87647c4929b78c19e0f3a26eefca90 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved back to SNAPSHOT. Using sat4j email address for gpg signature of released artifacts.

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

github.com/QuiltMC/quilt-loader-sat4j - 90a3b3e58fe5f6fee138a5bc267d8e580d36e680 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Adding information in pom to deploy on sonatype oss nexus instance.

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

github.com/QuiltMC/quilt-loader-sat4j - d95005d866632d92d5efed81b9c31ca3a4467b87 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release 2_2_0

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

github.com/QuiltMC/quilt-loader-sat4j - 24fa47c4de43ba5658f70b91a8c48f4d639f1519 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.sat4j.pom-2.2.0

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

github.com/QuiltMC/quilt-loader-sat4j - a7ef76bf567c4f1450b2f3bd5ad5fbb95bec9eed authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release 2.1.0-RC2

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

github.com/QuiltMC/quilt-loader-sat4j - 0817c0fd1093e093a8a2f260f24b1131d6b35e76 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The objective function is now normalized by default. It is possible to not normalize it.

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

github.com/QuiltMC/quilt-loader-sat4j - 9187739dafa9f1384d17172d97b15da5099db149 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a method to normalize objective functions (not tested yet).

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

github.com/QuiltMC/quilt-loader-sat4j - 44599320070da5a493fec154b8f3604f59d7e5d1 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
properly display domain objects in the objective function.

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

github.com/QuiltMC/quilt-loader-sat4j - 90f5eb9a2872c00007c491a7a9f21afeb1f3049d authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add indexOf() methods to vector datatypes.

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

github.com/QuiltMC/quilt-loader-sat4j - a920481dcad34506216c4dfbf0656dd5d24b336e authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Glucose wall has now a min size of 10000 clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 4293ac0d2c9d576ddc98621b6f3b4d361825e640 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using rapid restarts and phase saving for default PB solving.

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

github.com/QuiltMC/quilt-loader-sat4j - 39cd51021b99952b68130a5cccf1b057393054d5 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The solver only restarts when the status is UNDEFINED.

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

github.com/QuiltMC/quilt-loader-sat4j - 85387a1b2ec571a3ef52170f648f9e942d83d96f authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Does not reset the restarting policy at each new solution found.

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

github.com/QuiltMC/quilt-loader-sat4j - 368589cca24b581ebca3d7bf030ef65c1cfad7ff authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Limit the number of learned clauses to the number of original clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 25ab45d7f4b094b29db3c1cea7d10bcdcefe4e44 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed FullAdder clause translation found in Enn and Sorensson JSAT 06 that is buggy!

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

github.com/QuiltMC/quilt-loader-sat4j - a84320e787ed77da0d06e16e79efbf652d0af8a3 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a first test for the adder encoding. Need much more.

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

github.com/QuiltMC/quilt-loader-sat4j - dd679a32f7d6fdb7436b7f5dd08f2b6d64633624 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added Een and Sorensson Minisat+ JSAT paper adder encoding for objective function.

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

github.com/QuiltMC/quilt-loader-sat4j - 113d68e894b81594c5e6c1743c0c10ef6e53b1fd authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implementing clause move to front as suggested by Armin Biere.

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

github.com/QuiltMC/quilt-loader-sat4j - 15d71f29e76570e3a0a04496ef70114b43650c32 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using Armin Biere's glucose settings.

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

github.com/QuiltMC/quilt-loader-sat4j - 56ef0943a2d59ed3521c02dccb4a4275b4f441bf authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
ToString() method is delegated to the decorated solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 14f7a7213aadd6d32edb804f83d6bb3356ed2189 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Append the assumptions to the opb file.

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

github.com/QuiltMC/quilt-loader-sat4j - 72ba07b789cb2d2c481cd3d411e731d09d8da8b2 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure that decoroators do work even if the solver is interrupted.

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

github.com/QuiltMC/quilt-loader-sat4j - 783a8d7b1eadfab8ce5505660e629cf5d819675c authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Xplain now checks if a model has really been found.

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

github.com/QuiltMC/quilt-loader-sat4j - 43381e89668ba569277c34de738979b9bcd7b5de authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a test case related to the bug noticed with Eclipse.

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

github.com/QuiltMC/quilt-loader-sat4j - 39f49890b18e76406a8b66eeb3f9423bb18ac65d authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove literals with null coeff before nicing.

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

github.com/QuiltMC/quilt-loader-sat4j - 15e8d393237633ae8469ffc4e5d14b2c513f51a9 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted change done after analyzing Mancoosi benchmarks: the results of the solver are worse after that change on SAT and PB.

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

github.com/QuiltMC/quilt-loader-sat4j - 37ec4cd7535201c4365a2c8c50da2fc367d872b8 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted change done after analyzing Mancoosi benchmarks: the results of the solver are worse after that change on SAT and PB.

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

github.com/QuiltMC/quilt-loader-sat4j - a1ab39e46359e4421e77afcaccde5697e5886008 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using local variables in method analyze to access heavily used fields.

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

github.com/QuiltMC/quilt-loader-sat4j - b4349d0b4f523efd7737f52de48ca50fb3cc04d8 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using watched literals for PB solving: it helps on really large constraints. Need to be confirmed on PB examples.

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

github.com/QuiltMC/quilt-loader-sat4j - a4bd40ae3f37fca9ca83904382fcc444c97cb58c authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make Eclipse workspace aware of down compiling to jsr14 target.

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

github.com/QuiltMC/quilt-loader-sat4j - 824a3f7c821b287a9dc7310569a2836eeb373cb4 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Heuristics update is only performed on non seen variables. This is a 30% speedup on CUDF style benchmarks!

That maybe apply to PseudoBoolean solving too.

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

github.com/QuiltMC/quilt-loader-sat4j - 6b610fcb2f041e2e0b64749c2b56ae6ebe9c68cd authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix pom descriptions for 2.2.0-SNAPSHOT

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

github.com/QuiltMC/quilt-loader-sat4j - 2fc10ad8bd5600f10c938952db21c0d0e8481289 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added logPrefix methods to multicore solver.

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

github.com/QuiltMC/quilt-loader-sat4j - a53fae40e41254041835d9a382b4fa4ae8e28935 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new VM information in the header.

Better formatting of the information.

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

github.com/QuiltMC/quilt-loader-sat4j - 1f3fe34ff9323a68b7824cd67b1a57120d54f004 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allows access to IPBSolver used in DependencyHelper.

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

github.com/QuiltMC/quilt-loader-sat4j - 15d3ab5e879a8b8d08b4ad1a735aaff7041144bf authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added time track for current solution output.

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

github.com/QuiltMC/quilt-loader-sat4j - 59a54d56b5a553a1d2c2340f145ece00d392335e authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The memory manager output now uses the LogPrefix.

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

github.com/QuiltMC/quilt-loader-sat4j - 8e8d0c0f78ff721fe007e06322f572f149c833ec authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the dependency helper to negate objects.

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

github.com/QuiltMC/quilt-loader-sat4j - b90e64ac7aa6ae19b490bc6daabf43150055de75 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
In verbose mode, display the current optimal value.

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

github.com/QuiltMC/quilt-loader-sat4j - 1883bfe68fc9764fad3b972359890f9b29b2f397 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added possibility to set a specific prefix for verbose output.

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

github.com/QuiltMC/quilt-loader-sat4j - b60200eec3d8e5d2d9380c1760b923811bb7beba authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed IllegalStateException in dependency helper.

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

github.com/QuiltMC/quilt-loader-sat4j - 0c58219163d78e98947ad71f4ac47186cc154314 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated pom files to reflect 2.2.0 upcoming release.

Removed jsr14 target.
Produced JAR files are not expected to be used with Eclipse (see ant build ...

github.com/QuiltMC/quilt-loader-sat4j - 90c43cdcddcdb61fd5543765191f9d409325fed9 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@599 ba638df5-4473-46d1-82f8-c3...

github.com/QuiltMC/quilt-loader-sat4j - 10b3a90511759d9ad32cc94e891d114a0c1210e7 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@598 ba638df5-4473-46d1-82f8-c3...

github.com/QuiltMC/quilt-loader-sat4j - 671016116410fbf5eb8fd03e1f7255d51443099f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make pom file in sync with next release of SAT4J (2.2.0-SNAPSHOT).

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

github.com/QuiltMC/quilt-loader-sat4j - 64f83061fb4235b1845a9ca8e45d16254aa98501 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Sync with refactoring done in org.sat4j.core.

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

github.com/QuiltMC/quilt-loader-sat4j - e9185ed55acf1520b6214d1c52fc381d49c95674 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make pom file in sync with next release of SAT4J (2.2.0-SNAPSHOT).

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

github.com/QuiltMC/quilt-loader-sat4j - 5716ac0d1c019ad0de478346a2d508cc47b456ad authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make pom file in sync with next release of SAT4J (2.2.0-SNAPSHOT).

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

github.com/QuiltMC/quilt-loader-sat4j - 4d930ae407813990b6f8ce55e36f96354248bb3e authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make pom file in sync with next release of SAT4J (2.2.0-SNAPSHOT).

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

github.com/QuiltMC/quilt-loader-sat4j - 6cbdcef07097958a417f42ec9cb89eb904ef0f74 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented code.

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

github.com/QuiltMC/quilt-loader-sat4j - 5b9b4aa74fc0a7fdc52aeb4bf74c2f074857efff authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make pom file in sync with next release of SAT4J (2.2.0-SNAPSHOT).

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

github.com/QuiltMC/quilt-loader-sat4j - 0dd897bb6de8afa85f92a811a569f4439aa4d038 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed more PMD warnings (final keyword order).

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

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