Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/QuiltMC/quilt-loader-sat4j


https://github.com/QuiltMC/quilt-loader-sat4j

Fixed some accents in messages.

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

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

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

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

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

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

98d904439bf17fe27205d370a7de306bc8eb5f63 authored almost 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...

9e8f9ca2e4d787d8b1332842c2a6c38c5ccb6179 authored almost 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...

85922fbd48eb1e506ccd960fe8c8e3153f25c409 authored almost 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...

874957a172b46173227cf6ae1cba85d80ef5b4ce authored almost 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...

d9a8569011d03eb7aa1868d1bd3c850ba0920577 authored almost 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...

b386d98600970b3cd3cdc55741c26e033e3d478c authored almost 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...

26134a67811c441ebeeeda261b170e688b865db0 authored almost 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...

779b4fe77050c744f94296b6561571fc4a8305bf authored almost 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...

0fab506ea2fbe197738c8ed47a7dc0340f7523a0 authored almost 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...

f37a27410d548f6e178d66a24e85f182f0d3f8ae authored almost 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...

e0644f53a982539f83833dfcce74410210730db6 authored almost 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...

ad14193e05e3162778026d82ccce205320c04969 authored almost 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...

470b2f12d27713123aa8517bb87db908f77790e7 authored almost 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...

d9391dfe17c660f347e64fb1772f54f98f402421 authored almost 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...

3dfc7f33d87920e4b2390fddb66f36951fd68b88 authored almost 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...

f2a7adf5c457ad2a965ac848a57cd97c55b0e918 authored almost 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...

9579da016da266ddcd1800964efcedf66305cb7b authored almost 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...

c397268c23e39953c9bebd0fb10a697bc3013fe4 authored almost 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...

3b442ad39d3c32635fde8246e898efb1a9d53cb8 authored almost 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...

f9e5159296092306a2094d14c0834a637e79654f authored almost 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...

87d0e4b70bdc83221198606ca01e238888fcfcd0 authored almost 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...

de2d212fab750db1d4593b96e93b52008b29d26a authored almost 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...

4bba827ee55d29a2aacee9c602b6fa26e548aa36 authored almost 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...

578cce00de316beac879cfedd6c2404e0b35d79d authored almost 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...

7a4de1c07882f92555e09ffb4cc01d21cce19625 authored almost 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...

d364130469e28d8c045017cb6d497cdef2303591 authored almost 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...

43c2df5f5acc04c3b349eee630f67fab30cb4244 authored almost 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...

0a657286782be6fb61fbbb0badb9f419ee1a8edc authored almost 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...

0057b964becc23f5aeb0da11ac67b433d54ef2f0 authored almost 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...

a34d56c6abbcbf48427174949d7e303ec23a4390 authored almost 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...

d76c7b5673d58faee70c79b0c03a7527ae0f5d5d authored almost 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...

f82d3a72d64340a402a28138ef2edbc7255181ce authored almost 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...

9e64766ca20689ab7b084d8ec83174b741e5202b authored almost 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...

539fc2ae2f00cbb2cd0c78189d0c3097f72eb246 authored almost 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...

12fe56a3a5941602f4ab8f8f20eed0bd3ff92c0a authored almost 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...

d9970431ff928553f552acc9e7b3e0e2fb093fce authored almost 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...

74221ce2789772721676efba5cc623a60910c796 authored almost 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...

5d723cd6fdefe954734efedb3d251bca36cc917e authored almost 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...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

de0fdca689b0b5980b7f9c6e0efc69da41427cef authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed duplicated most duplicated code for output solvers.

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

714bc627186e66bb09552e06b70d4e46b371a001 authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing case where unsetting a variable no longer present in the trail.

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

8a619110fa5272bff0fb2c8f3badb81bba45176b authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using smaller sleep time when a timeout is reached.

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

7454a1f191fd286c3ddc5d45851f583627963b62 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
manage properly tautologies.

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

1fb0df459ef2df1fec5b4ac3eb0b3d4fa38de449 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make MS solver parallel.

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

624b9fb85d635205c5872e5b2722931a85a76df4 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Returning UnitClause/UnitClauses objects instead of null.

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

0e8e9f13586787b0608930da314685d863d7f62d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
undertimeout back to protected.

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

931827e074ed48038de922b402098b60d1a5c916 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
initialize back undertimeout to true at the beginning of isSatisfiabile else the expireTimeout() method no longer work on ManyCore.

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

3dd6babe2530194026e4077d5053df5344c9cce5 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reduced memory allocation during initialization.

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

108bfbc1ce978ac50658bbcc1eaacb54cb40de72 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using assertEquals instead of assertTrue.

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

935e0842c1903dd37a2f7d5c06c3967616077fe1 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Return an object when a unit weighted clause is found.

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

b24ca84ca177b1e77e0df7eb9346074765f3c688 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display a message if a constraint is skipped in the multicore.

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

f1a9a14dbc07f41228e77879cd3f0a29652299d0 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Return an object in case of propagation of elements.

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

e0334d2867329ad861bba06078a6eb8ca2175198 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
MinWatchCard now returns UnitClausesPB when all literals are propagated.

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

52a686c09455baced13ef2e2ccbaf86698e3489c authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better timeout handling during optimization.

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

9348fb1de243c075b297b2e4fe5186f01588c6d5 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
CP solver now checks timeout during conflict analysis.

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

cfaac9ad2aa76d8647ccd326f7a7feba81206d36 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow conflict analysis to stop when timeout is reached.

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

56a9b0824ccf6ceec58ba6b87d360362a485020a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
AtLeastPB now returns a UnitClausesPB object instead of null to be properly used in the context of PB optimization.

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

ff0436bb1e296bf424f3b29e2c60293ee506667a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
UnitClauses no longer final to allow its use in PB context.

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

1bce9ccebce31df8a95b5fdaf0b190446390579d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed removeWatch() to ILits interface.

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

0578027be138055691153035dc3b25068d779e3a authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed removeWatch() to ILits interface.

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

77452f414153e25f24f3c091801a4b08eea3319e authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using now a parallel solver for MaxSat.

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

45c4c8e074518c55c6afa1c6310a2a3ea6f56c8e authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to use a parallel PB solver for MaxSat.

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

6441cf5e221884f5dc5ad9600137d2b4a87af330 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using back glucose style memory management strategy in CuttingPlanes solver. Added a new CP solver called CuttingPlanesAggressiveCleanup.

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

890d51a4d38391482476343cd4678ab69cbf5419 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved implementation of the fixed size learned constraints deletion strategy (using a method with maxsize as a parameter).

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

ffe0c6a46b7a24387566cefda68d2ca3ac7f8428 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed additional prefix occurring in the output.

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

711c95c86cdb6d7ab19d2da9c5bd332e2d311408 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a solver that should be very close to the solver available in release 1.7.

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

ff380e8ff7cbaa841e8729a3d63c5b60832f85f9 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
pom.xml are properly configured: 2.2.2-SNAPSHOT

JDT compiler back in build.xml

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

801983e0bc65013f230df165680240f639f97999 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Getting still a bit better: gory coding in clause minimization.

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

4039a9c329169c47286da279971d1a3ecf1bf8d0 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>