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

Fix for bug SAT34.

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

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

Test case showing the problems described in bug SAT34.

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

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

Fix for bug SAT-32.

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

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

Test case showing the problem in Bug SAT-32.

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

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

Fix for bug SAT-31.

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

6583eee8e1f7ca96b0a9863c91ad46bc54cdd742 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix for bug SAT-31.

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

164910d65abbd8be74e92207d3c0de85c799a1a1 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix for SAT-12

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

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

The test case is now really using long-based data structure.

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

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

Changed test file path to be able to run the tests during CI.

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

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

Changed test file path to be able to run the tests during CI.

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

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

Changed test file path to be able to run the tests during CI.

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

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

Fix for bug SAT-18 http://jira.ow2.org/browse/SAT-18

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

540467cae229927498987198b8c90035936ab504 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Test cases for bug SAT-18 http://jira.ow2.org/browse/SAT-18

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

6875e4fa3011677486542c163456ef3a21922c33 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Test case for weighted maxsat solvers dealing with only hard clauses. Thanks to Fatih Turkmen.

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

8fdb1967cb9b9e69e0ef1503b557810069992dfa authored over 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

bug SAT-27 solved : WeightedMaxSat solver should act as sat solvers when there are only hard clauses.

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

2f4eda4e1b2b25f65dabce9b3d60dd5dee829a91 authored over 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Test case for problem with model() method on MaxSat problems without soft clauses (cf SAT-27 on JIRA)

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

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

Correction of the reset() method. See SAT-27

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

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

test case to show the problem detected by Fatih Turkmen : reset() does not update the number of variables.

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

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

Fixed missing parseInstance(InputStream).

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

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

Fix to support #parseInstance(InputStream) until we reimplement completely the reader.

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

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

Fix to support #parseInstance(InputStream)

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

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

Removed solver stats for each SAT test.

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

0198baa46ba000ff8eda9ae511d3b8d7a946d0f9 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed solver stats for each SAT test.

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

1044ed2a78f6ae30bbfd326e9d864a71f6d735b1 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

data file for testcase BugSAT26.

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

229d2b2d404c87bb600a7d57b8a00deecccae1f0 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix for the bug SAT26.

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

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

Test case showing problem reported in bug SAT26.

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

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

Added calls to isSatisfiable() to check that the behavior is correct.

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

6da8ca07f2d8a4651a237ef03c7111ee46bbf625 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added parseInstance(InputStream) that was removed from Reader class.

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

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

Made sure that Reader subclasse use if possible an InputStream instead of a Reader.

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

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

Made sure that Reader subclasse use if possible an InputStream instead of a Reader.

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

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

Removed compiler warnings.

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

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

Test cases for feeding the solver from an InputStream.

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

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

Replaced objective function creation: it is much better now.

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

703074b00c8b8c2b39ae16c0d259c3f4dba15c19 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Test case showing the problem in bug SAT-22.

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

f1afd56ee6d4d94d529a5db5c06b3756306311f5 authored over 13 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@944 ba638df5-4473-46d1-82f8-c3...

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

Fix for Bug SAT21.

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

131b0b8dff830a82e73c654de1b38954eb4ba0cb authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added TestCase for bug SAT21.

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

4012788cfd09ff240e2e52fd34732ccc38ded381 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix for bug report SAT-18.

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

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

Test case for bug report SAT-18.

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

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

Test case for bug report SAT16.

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

205fc6b03e83ac6fc16dee454bc74f1801bc4fe2 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix for bug SAT17.

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

39297f37da5aa92852bbbdba325bcd4f24544c24 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a new testcase.

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

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

Test case showing the problem reported in http://jira.ow2.org/browse/SAT-17

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

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

Allow to reset the DependencyHelper.

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

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

Allow the creation of MultiCore using an array of solvers for bug SAT-11

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

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

Allow the creation of MultiCore using an array of solvers.

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

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

Test case showing bug http://jira.ow2.org/browse/SAT-14

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

741e240a0dff89b0c24d1f4a8160d9b542d56dd2 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Should solve the case where expireTimeout() is called and one would like to start again a solver (as in multicore for instance).

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

9788b3936cd2e1a248183d588afb18b626ebb6dd authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed bug in remove method

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

1f71cfc1f73d14c7d491a49a7ff6d1cb0b34eec0 authored over 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

PB constraints with long coefficients designed for CP solvers added

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

5eb2dfe16a2b77b6d3e749f3b1873e9387fc77c0 authored over 13 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Tests for PB constraints with long coefficients designed for CP solvers

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

986cb7a84824af482482b86636603cd2d4e41e9c authored over 13 years ago by parrain <parrain@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@927 ba638df5-4473-46d1-82f8-c3...

9383fbb73d183b2b964d0832270cc1e3d451fb43 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

[maven-release-plugin] prepare release org.sat4j.pom-2.3.0

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

008b87cdb42f00a8d50a29fc16bbe16646bdc683 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Small modifications in build files.

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

5960d2a4043b25cef5a8ed26236b6e0a7b0c669e authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added the ability to add soft cardinality constraints (see bug SAT-7).

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

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

Added a simple test case for soft cardinality constraints.

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

535c1999ea2f0528dca3adf2b31e517c50400311 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

display solution when in incomplete mode.

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

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

Added the possibility to run in the incomplete category.

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

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

Added new exit code that mean that the value given is an upper bound.

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

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

Changed the test to avoid being trapped in the same problem that TestLonca.

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

909bfdef4bc4bea0b694d39f5330f45501403d77 authored over 13 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Implemented IWatchPb in WatchPb and removed the code in remove() that was making the solvers incorrect.

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

d008c982bc26a4a2eae244b24320cdd7582e65d5 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

fixed case for trivial inconsistency

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

568241f0239e1bcfdaec8710bfc7012781be9e13 authored almost 14 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed wrong case of trivially inconsistent constraints + make sure we are now returning unit clauses.

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

4d34237facf79afe7b00f04f0a7f1a5807ed8d80 authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed wrong case of trivially inconsistent constraints.

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

bc2ed9eb63dd9c66e9ce1f02ab7b5ef471832deb authored almost 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>