The Quilt Project commits | Ecosyste.ms: OpenCollective

Made MinWatch the default.

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

github.com/QuiltMC/quilt-loader-sat4j - 5967b3037bb796d3017b063511251ba3d17add0d authored over 13 years ago

Improve expensiveSimplification with card and pb case.

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

github.com/QuiltMC/quilt-loader-sat4j - fcb77fbedb4109e0ad29e20716e70faa684f9f08 authored over 13 years ago

Implement new canBePropagatedMultipleTimes.

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

github.com/QuiltMC/quilt-loader-sat4j - 625f2841222357e24cf4b6eb3352bef0e91ae1c5 authored over 13 years ago

Implement new canBePropagatedMultipleTimes.

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

github.com/QuiltMC/quilt-loader-sat4j - 4d2fadc0a801bfbda29537a036e233653c91314e authored over 13 years ago

Implement new canBePropagatedMultipleTimes.

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

github.com/QuiltMC/quilt-loader-sat4j - 2b3f3c9fad74b081d00afd2939061032c0eb8eba authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - fb0b38ed1cd88b3158d947ffba4c5ced05252fec authored over 13 years ago

Should have improved the efficiency of PB solvers. Need testing to check the pure SAT solvers did not slow down too much.

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

github.com/QuiltMC/quilt-loader-sat4j - ca9f42a386a001bc17eae5ab5f63a296dc0f3cf0 authored over 13 years ago

The file is reset after finding each solution.

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

github.com/QuiltMC/quilt-loader-sat4j - 1d5a87db58a3cebdcfe4635d4eaa999593277ac4 authored over 13 years ago

Fixed newline issues in OPBStringSolver.

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

github.com/QuiltMC/quilt-loader-sat4j - dc6d25670ef2a47ae42cb79ed838450badddbb3c authored over 13 years ago

New testcase to show the small problems with OPBStringSolver.

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

github.com/QuiltMC/quilt-loader-sat4j - 6a8be7ff39683d7eee438f14232679e1c45b80ce authored over 13 years ago

Fixed javadoc to precise the meaning of moreThan boolean value.

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

github.com/QuiltMC/quilt-loader-sat4j - b84dc11bac81b9f85bacdf02c14eb96e862809a9 authored over 13 years ago

Small code changes that might improve speed.

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

github.com/QuiltMC/quilt-loader-sat4j - bd6040d3ad40bf8a9a4ac24b0f7c20db19d38518 authored over 13 years ago

Removed unnecessary solver factory.

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

github.com/QuiltMC/quilt-loader-sat4j - 695a24d6785d078cb681064e46933c6d3dd99d14 authored over 13 years ago

Removed unnecessary solver factory.

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

github.com/QuiltMC/quilt-loader-sat4j - 2d3fa586c61909675f28b5afd3236904240e9b92 authored over 13 years ago

Improved parsing error message.

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

github.com/QuiltMC/quilt-loader-sat4j - 6a24234f09f88d6fb8fc31d5caec8dc79329c3d0 authored over 13 years ago

Fixed missing UnitClause management in the creation of a clause.

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

github.com/QuiltMC/quilt-loader-sat4j - 6817f07d2200afa64c492c6e8416b11cfba237b2 authored over 13 years ago

Improved parsing error message.

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

github.com/QuiltMC/quilt-loader-sat4j - a4f77a4cf22e065f9dbc4b2051a56b7b03f8a999 authored over 13 years ago

Removed IllegalStateException when the helper produces null constrs (if a variable satisfies the constraint, it can happen).

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

github.com/QuiltMC/quilt-loader-sat4j - 332fca4204dcdb3dc5f1d79850f6b55ec3ee4d00 authored over 13 years ago

Fix for bug SAT35.

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

github.com/QuiltMC/quilt-loader-sat4j - 1a476ccb746a852378737c77afa2df6b111830d1 authored over 13 years ago

Test case for bug SAT35.

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

github.com/QuiltMC/quilt-loader-sat4j - bfe2461a3f1b9730d4057df3453d04f32bc5d8c5 authored over 13 years ago

Fixed more issues due to unit clause management.

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

github.com/QuiltMC/quilt-loader-sat4j - 5cf28eb1be42cba7c8f09ccff6f7a2dd28bd99e9 authored over 13 years ago

ManyCore now has support for findModel() methods.

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

github.com/QuiltMC/quilt-loader-sat4j - dca700fb4e5400e0484163407ffc73b2d89e175a authored over 13 years ago

Test case showing the problems described in bug SAT34 on OPB solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - a023916e39cb6984648c757b42f820df0d66fd2c authored over 13 years ago

Changed all DSF to make sure that the solvers are always returning non null unit clause objects.

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

github.com/QuiltMC/quilt-loader-sat4j - 866ad172a4cb3191948953831b21dbb3717e2d6b authored over 13 years ago

Made sure that the pure clausal DSF was also returning unit clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 7ac014788df551b8979b1a1ebfcf055ebf290392 authored over 13 years ago

Fixed the tests now that unit clauses are supported everywhere in sat4j.

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

github.com/QuiltMC/quilt-loader-sat4j - ddf386289178c095e945aaf7861fc59387332623 authored over 13 years ago

Fixed the tricks related to unit clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 2154149d92cb454b0e91ccb2ac7d97d5969ae031 authored over 13 years ago

Should better handle the cases of unit clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - cb9ab0707def49edc54201226d8913c51e388407 authored over 13 years ago

No longer returns null in case of unit clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - a44cfc7cfad4ed83a1944efa440ca403bf958d43 authored over 13 years ago

Fix for bug SAT34.

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

github.com/QuiltMC/quilt-loader-sat4j - c0a0bc0c626af04fb5ae24f110fc3682b6341223 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - ee56ec2fc62fa12696120896dfff8c313795b251 authored over 13 years ago

Fix for bug SAT-32.

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

github.com/QuiltMC/quilt-loader-sat4j - 7d000778acad69d0403ed1f0dd89c00dd3bed9aa authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - da8e6a11649ebc4c57a65a2080d7858945854d19 authored over 13 years ago

Fix for bug SAT-31.

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

github.com/QuiltMC/quilt-loader-sat4j - 6583eee8e1f7ca96b0a9863c91ad46bc54cdd742 authored over 13 years ago

Fix for bug SAT-31.

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

github.com/QuiltMC/quilt-loader-sat4j - 164910d65abbd8be74e92207d3c0de85c799a1a1 authored over 13 years ago

Fix for SAT-12

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

github.com/QuiltMC/quilt-loader-sat4j - bad97b6b46b622b3b962474cac01c5688c763b91 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - ce58999e76d59931f7008bda48d56a587dc208eb authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 3cf26f230041f11a5a0b0ac9539dec972ed3323a authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - e4927c16229fba584e36ca18c70df1be3821f779 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - eca17c5d5b76ae267ef14712210b1fc493b9baff authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 540467cae229927498987198b8c90035936ab504 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 6875e4fa3011677486542c163456ef3a21922c33 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 8fdb1967cb9b9e69e0ef1503b557810069992dfa authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 2f4eda4e1b2b25f65dabce9b3d60dd5dee829a91 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - ea6186752f72c1124b2bbbc6a25af0201bd5adf4 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - d1a3ba47481ad21879ffb33172d54567cd31464a authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - ee6bc14abd616fb87be8261362f63efe6adf2d46 authored over 13 years ago

Fixed missing parseInstance(InputStream).

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

github.com/QuiltMC/quilt-loader-sat4j - d3990d92cb0787c619c4abdba2902b9a6eb56017 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 5c1d924e20323b1ecffab2336f97ebf6387c91a1 authored over 13 years ago

Fix to support #parseInstance(InputStream)

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

github.com/QuiltMC/quilt-loader-sat4j - fec323627e5e1ad4d473db113deec8653d39b856 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 0198baa46ba000ff8eda9ae511d3b8d7a946d0f9 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 1044ed2a78f6ae30bbfd326e9d864a71f6d735b1 authored over 13 years ago

data file for testcase BugSAT26.

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

github.com/QuiltMC/quilt-loader-sat4j - 229d2b2d404c87bb600a7d57b8a00deecccae1f0 authored over 13 years ago

Fix for the bug SAT26.

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

github.com/QuiltMC/quilt-loader-sat4j - c9d379f0c5245fc66ba9bca31bbfa1d4e9693515 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 3db2d231e0302212a4abd0e97042acd1b086b9c7 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 6da8ca07f2d8a4651a237ef03c7111ee46bbf625 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 3ee49ab51c37957db50255d9876863b5ba7999b4 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - cce8642860b852a837b9f67e8e2009ccb547bba8 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - b5b21357afd2d2dfa37864cac4fc55b23c7b1965 authored over 13 years ago

Removed compiler warnings.

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

github.com/QuiltMC/quilt-loader-sat4j - a2bd83737ff6a590e0bec5bff691c019febcb454 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - a7d5017c25d1b1a188bf448cce8cbfc019ce7873 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 703074b00c8b8c2b39ae16c0d259c3f4dba15c19 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - f1afd56ee6d4d94d529a5db5c06b3756306311f5 authored over 13 years ago

Removed unused import.

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

github.com/QuiltMC/quilt-loader-sat4j - 3dbc17313c35bc0aaca82c3d8fd00df56dc7639f authored over 13 years ago

Fix for Bug SAT21.

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

github.com/QuiltMC/quilt-loader-sat4j - 131b0b8dff830a82e73c654de1b38954eb4ba0cb authored over 13 years ago

Added TestCase for bug SAT21.

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

github.com/QuiltMC/quilt-loader-sat4j - 4012788cfd09ff240e2e52fd34732ccc38ded381 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - c71d728e47a4ff70df879645b8a7ad701e3a5447 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - f86f940f7bc13383615b7cf6469ad0e819094ff2 authored over 13 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 205fc6b03e83ac6fc16dee454bc74f1801bc4fe2 authored almost 14 years ago

Fix for bug SAT17.

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

github.com/QuiltMC/quilt-loader-sat4j - 39297f37da5aa92852bbbdba325bcd4f24544c24 authored almost 14 years ago

Added a new testcase.

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

github.com/QuiltMC/quilt-loader-sat4j - b8673e5f7fcbd2b3028d4215b0dd442ba4bcd3da authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - dfccadb1741d976d5660485a3f1fb78f0c351f09 authored almost 14 years ago

Allow to reset the DependencyHelper.

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

github.com/QuiltMC/quilt-loader-sat4j - d867d4e540f8175ef3307c1ffc30f3e1a70fd6a5 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - eae54c8fecc0451fa67e85dc9a21c6accc56e39d authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - d05d4edeacac3d25c90dd03e5d69bcc6be177302 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 741e240a0dff89b0c24d1f4a8160d9b542d56dd2 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 9788b3936cd2e1a248183d588afb18b626ebb6dd authored almost 14 years ago

Fixed bug in remove method

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

github.com/QuiltMC/quilt-loader-sat4j - 1f71cfc1f73d14c7d491a49a7ff6d1cb0b34eec0 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 5eb2dfe16a2b77b6d3e749f3b1873e9387fc77c0 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 986cb7a84824af482482b86636603cd2d4e41e9c authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 9383fbb73d183b2b964d0832270cc1e3d451fb43 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 008b87cdb42f00a8d50a29fc16bbe16646bdc683 authored almost 14 years ago

Small modifications in build files.

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

github.com/QuiltMC/quilt-loader-sat4j - 5960d2a4043b25cef5a8ed26236b6e0a7b0c669e authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - dd4c9779ce6b3b4c8ef373a6ab71f3306e9c858c authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 535c1999ea2f0528dca3adf2b31e517c50400311 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - f942167c5074d15ecc056c75a69de3820c74deaa authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - bffb5e4091d1444d779b21e386fc6a610b19b693 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - f6fcc1b81be146de1519392ff4e491f18da88c87 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 909bfdef4bc4bea0b694d39f5330f45501403d77 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - d008c982bc26a4a2eae244b24320cdd7582e65d5 authored almost 14 years ago

fixed case for trivial inconsistency

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

github.com/QuiltMC/quilt-loader-sat4j - 568241f0239e1bcfdaec8710bfc7012781be9e13 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 4d34237facf79afe7b00f04f0a7f1a5807ed8d80 authored almost 14 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - bc2ed9eb63dd9c66e9ce1f02ab7b5ef471832deb authored almost 14 years ago