The Quilt Project commits | Ecosyste.ms: OpenCollective

Fixed messages to be displayed only in verbose mode.

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

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

Added message on the console about the optimization scheme (upper/lower).

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

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

Using solver instead of problem, to make it work properly in the optimization case.

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

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

Updated test cases.

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

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

Allow both lower and upper bound for WPMS.

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

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

Allow both lower and upper bound for WPMS.

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

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

Updated framework to allow both upper bound and lower bound search.

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

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

Keeping expensive reason simplification for MaxSat solvers.

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

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

allow the launcher to work with compressed files.

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

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

allow the launcher to work with compressed files.

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

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

Make sure the literal is registered when it is moved from the CNF to the optimization function.

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

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

Added new method registerLiteral() to force the solver to output a literal in a model even if it is not already available in a CNF.

The nice property of the current implementation is that it will automatically find the right valu...

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

Use of a HashMap structure is now related to the size of the constraint

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

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

Fixed the decorator when the minimal value is negative.

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

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

fix for NPE in tests after calling unset.

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

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

initial fix for SAT-44

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

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

Fix NPE in decode method.

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

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

Yet another fix for bug SAT8.

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

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

Updated javadoc.

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

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

A few changes regarding IVecInt.subset(). Now returns an array of IVecInt, no longer a VecInt.

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

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

Updated javadoc.

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

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

IN PROGRESS - issue SAT-38: Investigate usage of plain CNF rather than custom cardinality of PB constraints

http://jira.ow2.org/browse/SAT-38
- added subset method in IVecInt
- improved implementation of S...

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

enabled TestLonca

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

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

Fix for SAT08 for MaxWatchPb only.

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

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

Added new test cases to check that basic expected behavior is happening.

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

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

Fixed the implementation of get(int)

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

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

Removed warnings.

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

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

The solver now returns the number of vars available in the solver when the method newVar() is not called.

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

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

Moved back the tests without calls to newVar() now that the implementation preserves backward compatibility.

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

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

IN PROGRESS - issue SAT-38: Investigate usage of plain CNF rather than custom cardinality of PB constraints

http://jira.ow2.org/browse/SAT-38
First implementation of SAT-38

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

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

IN PROGRESS - issue SAT-38: Investigate usage of plain CNF rather than custom cardinality of PB constraints

http://jira.ow2.org/browse/SAT-38
First implementation of SAT-38

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

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

REally fixed the issue with ToString().

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

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

TosTring() method calls toString("") to allow an easier management of the toString() method in the subclasses.

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

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

Updated dependency to rhino 1.7R2.

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

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

Updated test case to show new behavior.

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

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

return only models with variables appearing in the formula.

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

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

Take into account new model()/modelWithInternalVariables() methods.

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

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

Fix testcase with implicit call to newVar().

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

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

Updated test case to the expected behavior, not implemented one :)

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

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

Fix solver to return a model with only the variables used when new variables are added using nextFreeVarId().

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

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

Display declared vs internal number of variables on the console.

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

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

Implement SAT43 for MAXSAT.

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

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

Tests for SAT43.

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

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

Code to implement SAT43.

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

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

Remove notion of wall in glucose.

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

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

Code to implement for SAT-42.

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

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

Prevent UnitClause removal during simplifyDB (was throwing an exception).

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

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

LitsToCoefs structure added to remaining MaxWatchXXXPB constraints

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

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

LongWatchPBCP constructors created

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

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

Pull up mapping to the MaxWatchPbLong class.

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

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

First implementation of SAT-41.

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

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

from MaxWatchLongCP to MaxWatchLong

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

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

Fix for bug SAT40.

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

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

Made the class non final, to be able to create a subclass taking account the objective function.

RandomWalks counters is not reset at each init call (call to isSatisfiable()) but when the order ...

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

equals fixed

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

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

Moved ConstrGroup to org.sat4j.core to avoid cycles (thanks sonar).

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

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

Moved ConstrGroup to org.sat4j.core to avoid cycles (thanks sonar).

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

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

Moved ConstrGroup to org.sat4j.core to avoid cycles (thanks sonar).

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

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

ClausesCardConstr data structures factories cleaned. All dsf now inherit from AbstractPBClauseCardConstrDataStructure.

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

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

Implementation of exactly card constr.

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

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

Temporary implementation of int based API.

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

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

Added test cases for explanation support with exactly.

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

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

Made the Xplain tests reusable for PB case.

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

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

Added a message in the exception to point out the developer toward the XplainPB class.

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

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

throws an exception when trying to explain an exactly constraint.

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

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

Added a toString() method.

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

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

Added new methods addAtLeast/addAtMost/addExactly in the PB solver. It should be must clearer now for the end user which method to call for creating a constraint.

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

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

Change due to the move of ConstrGroup in org.sat4j.specs

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

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

Fix for bug SAT-39: there is now a method addExactly(IVecInt,int) that creates a constraint that should satisfy exactly n literals.

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

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

Support at most constraints with one literal only.

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

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

Added support for clauses in AtLeast card constraints.

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

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

New potential fix for SAT37: the wrong code ran on functional tests.

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

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

Reverted back code added to solve BugSAT37.

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

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

Another try in solving bug SAT37.

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

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

Reverted change: makes the solver incorrect :(

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

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

Reset qhead to zero before starting search.

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

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

The MUS engine does no longer skip duplicated contiguous entries (results in wrong answers during MUS competition).

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

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

Allow Xplain engine to skip removal of duplicated entries. During the MUS competition, some benchmarks had duplicated continuous clauses.

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

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

Fix for bug SAT37.

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

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

Test case provided by Axel on the forum describing bug SAT37.

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

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

Fixed the computation for the speed of the solver.

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

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

Added PB solver decorator with clausal cardinalities representation.

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

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

First implementation of a full clausal representation of cardinality constraints using sequential counters.

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

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

Test case for clausal cardinalities representation.

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

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

Added comment to clarify that card constraints are expected to be of "At Least" form.

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

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

Added a new constructor to allow the user to provide a nice string output of the solvers.

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

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

Changed visibility of utility methods.

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

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

Allow ConstrGroup to contain null.

Added a new getSolvers() method.

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

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

Removed flushing. Does not have any effect regarding OOM exception.

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

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

Added missing static in NO_NEGATION.

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

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

Flush the output to avoid buffering too much content when the solution is large.

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

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

Replaced back MinWatch by MaxWatch.

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

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

enabled back expensive simplification in the solver.

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

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

Enabled back shortcut for conflict analysis and card and PB constraints.

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

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

Default solver no longer uses reason simplification.

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

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

We now use MinWatch for all PB constraints.

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

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

Removed simplifications during conflict analysis, that are probably not correct (the solver becomes incorrect).

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

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

allow to pick any element from the heap (for random walk).

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

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

Improved version that will eventually make a random move. Based on a new version of the heap algorithm.

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

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

should have fixed incorrectness bug in the solver.

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

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