github.com/QuiltMC/quilt-loader-sat4j commits

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

671016116410fbf5eb8fd03e1f7255d51443099f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>