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

Xplain now works fine with solution explanation.

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

b21c2ca782b125e2102ce8938679234b7e5cf7ab authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Improved DependencyHelper following Oleg directions.

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

21c6e67d2d3f92ff496c4d9b93d38f3667d3a63c authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Improved DependencyHelper following Oleg directions.

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

3b7135e05535b7cdf9af6ea6262c08e04ce4473f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed the problems reported by Pascal. Need to work on a more robust solution for selector variables in PB constraints in the future.

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

6526834207c835e28ceb980371954600f45ca07b authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a new test case for multiple MUS.

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

143670440a6cbfe5271d16200d403720aa0cb59a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed unused import.

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

9c3ba71dfff3ada2603633f54e5deb01e80f1f09 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Prevent use of cardinality constraints in Xplain: not managed properly yet.

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

cc6e61abb0e7199f7a2fb1f557c9fa5e7a8f75ff authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed the selector variable coefficient for AtMost constraints.

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

aefd541743d81f2498ec9d9bacc88c9d0e7835b1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Changed the name of the explanation engine: XplainPb instead of QuickXplainPB.

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

9fe7441b950a4147d8546f53d9dc5180a4027b30 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Export org.sat4j.tools.xplain package.

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

a17c89ff503707cd29ffcdab688e45f78fe444fa authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Used the strategy design pattern to allow testing several explanation algorithms.

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

f3d35cbcaa6a7fa1724d38b38d178081b8fbd458 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added back activity in enqueue: huge difference to compute explanation with that information.

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

09ed9bb8535d648f653fb8f0be7f2432f5ad62a7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Moved Solver.internalToDimacs method to LiteralUtils.toDimacs().

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

28361372a65a08bee02c9d6ed8ccb019fdda1088 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed clause activity increment in enqueue.

Moved internalToDimacs method to LiteralUtils.toDimacs().

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

64ac7ce62628cec892bb4c83b3b1c2d219d4c382 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Initialized properly the size of the various vectors.

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

ab27f58aec432351c0f3a45f16b460979d51c5f1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed the wall clock time unit (seconds, not ms).

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

9b69c2d68f0ed422d1861710057d725ef702f164 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a message to warn the user against the use of quickXplain in an optimization setting.

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

149ae56e014073762bb075e4d2dee6961b6c1e83 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed quickXplain PB and EclipseLauncher to support explanations.

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

8967fe7154749c6b65998e3bda7b4daec04f027b authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed QuickXplain.

Beware: API broken here since the getActivity() method has been moved from Constr to IConstr.

gi...

e48bc1426446c5ca6e41c6912de46a8b6df945be authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

bug fixed for parameter renaming

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

def558af4c996f6f5682c7f756d258fe4da05554 authored over 16 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed consequences of changes in IOptimizationProblem interfaces.

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

8dd1dbbba6d6071689ef43b644e3253ac9dbb683 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

First trial of QuickXplain for PBConstraints.

It looks like working for classical constraints (.... >= ...).

It does not work yet for <= cons...

d4009fec0a7ebe3fa0964ead3acc9f6a6e48c606 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

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

898ed422aad06aee6b2c8cd519f7de2776204c63 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed latest warnings.

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

10b26b8abcb7aa7d5247ae5bf2f0f4984c580c86 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

More compiler warning fixes.

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

56526c12c39f72fc2025c4ef3636ad3f0f7b0702 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed compiler warnings (parameter hiding a field, @Overrid tag missing, etc).

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

1d687b8970eb51f6f2deb4c4568bc3958c3bbbf1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added basic timeout capabilities to the default OPB command line :

java -jar org.sat4J.pb.jar Default 10 bench.opb

will launch the default OPB solver during 10s o...

42196d8fa3c8fe7063b72ea3dda38ac98a712180 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed potential issue (not closing a stream) in the Reader.

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

59f79cd9bea65aef4520165761ce15d1942dae65 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed infinite recursive call found by Findbugs 1.3.5.

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

03083316496e0d30fe53bd9cb9bcd709d8e86197 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed a possible NPE issue found by Findbugs 1.3.5.

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

2fe363d8b4055ed49e2e72cbec961a6158969f7a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed class cast exception for MAXSAT problems.

Updated javadoc of IOptimization interface.

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

dc4bd6849b463b39afce0160c4488c5e0ec885ca authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed bug reported by Joao (problem when the objective function uses literals).

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

12a9f23bb43a5e707960f8630b9deec14cf411cb authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added example of OptToSatAdapter to Michal example.

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

46b1084524ed46b5690e1ccdc7980912f7df5170 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Changed the API of IOptimizationProblem to simplify user's life.

The new expected way to use it is:

while (problem.admitABetterSolution()) {
i...

e71133935fdfdfbe09c9c234ba4c0a5c156001dc authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Changed the API of IOptimizationProblem to simplify user's life.

The new expected way to use it is:

while (problem.admitABetterSolution()) {
i...

738f2204b97aa5f7048fda59399b57725dec1428 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Changed the API of IOptimizationProblem to simplify user's life.

The new expected way to use it is:

while (problem.admitABetterSolution()) {
i...

b3cacc711d092b04785a3778715151e6185a97b9 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Changed the API of IOptimizationProblem to simplify user's life.

The new expected way to use it is:

while (problem.admitABetterSolution()) {
i...

bb2481b76b264fa03a47d722e8b1283b9fb35114 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added Michal problematic scenario:

http://forge.objectweb.org/forum/message.php?msg_id=12622

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

65ecdf25e3ffbc5f04e92b18cc913bb2cd7922a4 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed bug #310992

http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=310992&group_id=228

git-svn-id: ...

138eb6e41456fbbae14f8ef3946e3c5f33674e47 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

ensurePool(howmany) now sets the maxvarid to howmany (i.e. after solver.ensurePool(howmany), solver.nVars()==howmany).

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

993ff9248f2d9bbf30d9caba97d00df642fad804 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed typos reported by Mikolas Janota.

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

1781f8e78da95deb391f246ec2116574ca1148a0 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Set project specific settings to Java 1.5 code.

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

fe243ebcf45b64d23b10d25b7c2a334a987bd780 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Set project specific settings to Java 1.5 code.

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

76c4293599d5a15041d7da5db7691aa7d0fae9ab authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Set project specific settings to Java 1.5 code.

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

287283e69d4847765a049ab86b6b5b2665213523 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Set project specific settings to Java 1.5 code.

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

d3cd8a4d21c9cfe95adbbab218c26dc73253afc2 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed wrong annotation.

Set project specific settings to Java 1.5 code.

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

18ca64b337e9db587a8a1869babb7443c2f93f80 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated pom file to ignore JUnit 4 tests.

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

1729ef9deb8a8e5a12f0c8c1073c6d358cff5414 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Moved 3 new tests to EZ benchmarks.

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

7a68062ca254be04e2d397f38082a7af9fcbd4b9 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Moved 3 new tests to EZ benchmarks.

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

7f4a420789e3b560b3d3e6cbffce70aaaa69e3c4 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Moved tests from EZ acceptance tests to be sure all tests are passing within the timeout.

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

1fdacd85a3a4dd28516375ca4ceaae02de27855f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated tests to mimic the expected use of th SingleSolutionDetector.

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

b103229d8474a7492947c9959c97968791279a87 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated javadoc to warn users against the use of ISolver.removeConstr method.

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

223a8a31e19f2bdfb79b543b6ca6d101b0871b91 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed problem in nConstraints.

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

19fc61c7fb43341fb6202b35709c4491aecc5850 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added new assert to complete failing test.

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

085ad7356e405263a573a33b0b3b823b85f9d95f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

dded META-INF directory to fix the issue with top level jar.

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

9a732c1bdb395ccdd12305b66889b116ad1010f3 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed outdated packages.

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

1160d6b91fb191ef40846d81e72f41a11a002e33 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added libraries needed for ant made packages.

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

5d9ab3dbf2d80ff7505190bd65b3719ac0811d3d authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated pom and build files to better generate Maven Artifacts/web site and

ant made packages.

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

412e5010c148079b2b2496b455324dc3fab57211 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Applied patch from Anne Parrain to fix the assertion failure in the tests.

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

b4fc58bc6773d742945db258437db4ad4c574462 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added test files necessary to run org.sat4j.pb tests.

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

22f0968d3229700260f099c83135498b17b6b452 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated tests to make them all pass in normal situation (no more timeout).

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

0647ccac1c78aa7dc25db613be8c613910cb8538 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed a test too long for Mini3SAT solver.

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

3c27df4f41eaa340f96aaec8b052d146f1c92ff5 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed debug messages.

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

0fe7826c55ec4288aab45f74f858246fc2b5aba8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added the EZCNF prefix to handle comments in Dimacs files.

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

9c65dd5b746e85d8d84479b8a34167b7df5b66d8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed a problem in isImplied now that newVar is no longer mandatory.

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

c96a48c28392ce4c337c3a941504ab0e0ed4bf1d authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Wrote the test another way. Works now :)

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

ecd713e952f445b5060842a6367e74c94da27875 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed unused files.

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

f9b00e394c982567c688f546434ec5bb094f2a0c authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Discarded some solvers.

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

e0cf8deb9f2eea3cd9360ab1b5a1a15c210552a6 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

removed unnecessary test files.

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

7032dc7cef7421b6e94dc86431627087cb5fc215 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed wrong test file.

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

0c0f9bc402f9b1a2d5fd1c116499b0797a143e79 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed wrong test case.

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

a1284fb45199475f7c67635d5bb0744616a2a8e8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Use hole6.cnf for the tests instead of the non existing hole5.cnf

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

c4ba34fd964c9274e4663754293e0eccf71fd42f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed hole8 from test files.

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

369b3fd8fd12df98ea9e57998b5d7ee647425dd3 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Use a simpler test file for all solvers.

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

596fb2aa17d6161b2ee4584955dba9a3f7fc78fd authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Reduced timeout to 30 seconds.

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

3df3da80c2f6af302bec84274da7cea13f770c98 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed GoodOPBReaderTest. Updated pom file.

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

a31a4124bca589a55998cac1224802f178d525b2 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed reference to Solver.newVar() in GoodOPBReader.

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

d090e95034238e6e8c44dcd8cbc4d32eb3e98d48 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed test cases to get the right instace reader (managing OPB format).

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

c460955e184cc150c94192677e603a2df701b2a7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed references to junit.swingui classes.

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

fea3d8739a741ed5350cd14b26d06c5b6aecfe27 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added test files for sat4j core. Moved release to 2.0.2 in pom files.

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

9b7fd64e7ecbbe5957b577c8606e5145485638c7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed array initialization using capacity() instead of nVars().

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

a0511186f7acc66ed668fe08abae417205199ebd authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed Exception stack trace.

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

ebaaaf202456aed708795b1e2c053284cbee4867 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed test.

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

93dfa25e9f654a5f77bdbae4a44c2573d844b678 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

ignore init call when the current capacity is greater than the one given in argument.

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

7f2464a55c82fee32e58154741f88e841359663e authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Improve error message.

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

437c6266ceb183246ab32d899185b1b9f65ceb55 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed Luby function!!!!!

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

4a8b49bbd05d18b7481c62b8bfb511153d0bfe39 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed @Override annotation problems.

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

eba15a02c98620e790e07f65e6d95de66eeebba1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added Javadoc comment.

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

16209d196f3a38bd24cc743342ae27cc16acb5ef authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed assertion since the method will be called once.

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

5cbcbe9f72f958b3a55f7dc6ed0e1ab17d7805d8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a strategy to disable restarts.

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

2f7541e0ad2b5f28986189ab6060fd198ae16919 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Update pom files with release 2.0.1.

Improved description of the projects.
Updated developers and contributors for core and pb modules...

ff39700ffa66590bdaf0dfafcb46b31aabd3dbf1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Replaced wrong UnsupportedOperationException by IllegalArgumentException.

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

a2323fa4d737287a084b7867cdc326ce9bafd423 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed link back to main project.

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

d9cd12912d8099775bbdabd9cd06e8dce4047391 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added custom Javadoc rendering.

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

7c92758f0e2dc5289ad15d8cecd99175e8cc72c8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix allDifferent and alldifferent names in XCSP 2.0/1 formats.

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

fcfe963d662a3501604090cf03c87f4c50915503 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed management of unknown global constraints.

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

9cfd862a6d69a84d1afbe3a58f3c3b44f39f9cb3 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed schema for 2.1 format.

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

f80422918f424741d10d298210ae6965e9466867 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed command line management and made log method in AbstractLauncher public.

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

cbf66d82872bb57e63bb8bf6aac555bf32f353a5 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed unused final qualifiers.

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

1ac86ac9177c5d623fc4c4321b150d14e2b68daf authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Moved code from default package to a real package.

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

d33965ce6e7d174ebd9d7f058313f40d53b7cd7a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Ecosyste.ms: OpenCollective

github.com/QuiltMC/quilt-loader-sat4j