The Quilt Project commits | Ecosyste.ms: OpenCollective

Fixed build.properties to map maven conventions.

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

github.com/QuiltMC/quilt-loader-sat4j - 823d21a898b019eaef44fa58451631ffcff5032d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed build.properties to map maven conventions.

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

github.com/QuiltMC/quilt-loader-sat4j - 8b483d810d2147e8fcb7a798821ca5c315958e60 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed regression on Eclipse Bug.

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

github.com/QuiltMC/quilt-loader-sat4j - dc39962ce294cbd521d8b5c45e24fd096a5e1b1d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added copyright header on test cases. Added Eclipse Bug regression test.

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

github.com/QuiltMC/quilt-loader-sat4j - 1eab8039b6bc2d4191c8d612c04e96b59fca10f5 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added headers on test cases. Updated a few test cases with default solver instead of specific solver.

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

github.com/QuiltMC/quilt-loader-sat4j - f8c52580876b792d8067ae68fc3d41798c4f8e3c authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated code with 2.0.5 fixes (but not with HT data structures).

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

github.com/QuiltMC/quilt-loader-sat4j - 9ad5e14b28f0622c49f03bd5ad1269f67dad2f14 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed comment.

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

github.com/QuiltMC/quilt-loader-sat4j - 5d84023b984fad6df2a9a7cb80df43d0b11b8a51 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated MAXSAT reader with 2.0.5 branch fixes.

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

github.com/QuiltMC/quilt-loader-sat4j - 8ed907ff9ef2d18f65ff6fabaf5078bd78805e19 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated pom to make the releases 2.1.0 SNAPSHOT.

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

github.com/QuiltMC/quilt-loader-sat4j - bbf2658993bc0a9b3a7e18f996bc483e8456916a authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed an assertion.

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

github.com/QuiltMC/quilt-loader-sat4j - 0ebeeabbc16db13b570fe0a8ab2b4c0d1b31490d authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed errors caught by unit tests when enabling assertions.

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

github.com/QuiltMC/quilt-loader-sat4j - afc2c2c316929aae7e33f86e35a6833d39742afa authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed wrong assertion.

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

github.com/QuiltMC/quilt-loader-sat4j - d5ca94c9cbcc2deddbdc1cdf01538ece9bd0d657 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added Jed Test cases. Removed dependency to SearchListener in DependencyHelper.

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

github.com/QuiltMC/quilt-loader-sat4j - ca8bb86c81dcaa7235d4ecaa4c14954868466622 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

The MAXSAT solver can now handle BigInteger weights.

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

github.com/QuiltMC/quilt-loader-sat4j - 4278ce3e333bfadf2f5ee7696f4529f3e7e69dfb authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed an issue with the MAXSAT decorator.

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

github.com/QuiltMC/quilt-loader-sat4j - 4fa554f14f7b851cb7413c34460aa2aaad4b5b24 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Changed Dimacs reader to support weights with BigInteger in MAXSAT solver.

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

github.com/QuiltMC/quilt-loader-sat4j - bf96fb9ae5e0466688e894a0cd5cba96c366f424 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed typos.

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

github.com/QuiltMC/quilt-loader-sat4j - d90ddc168f79fbd94ecfd113d60b52b437acad99 authored almost 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a new class to allow an easy way to set the objective function.

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

github.com/QuiltMC/quilt-loader-sat4j - c7697cdd1815a88f86532b4105ff1c53f053e402 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Merged modifications from 2.0.5 branch (code to query models with at least k variables set to false).

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

github.com/QuiltMC/quilt-loader-sat4j - 8a7534f6d781e7cbc4c6242af66e80e7073ca1d3 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Started adding to head changes made in 2.0.x branches.

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

github.com/QuiltMC/quilt-loader-sat4j - 0f197b2cb03fb4b427b59b99f36938e93178e99a authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated Manifest with JRE 1.5 requirement.

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

github.com/QuiltMC/quilt-loader-sat4j - b3855d6eecb390f8bb1675de0fdf892bd59b7a88 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated code to Fix genuitec issues with Xplain.

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

github.com/QuiltMC/quilt-loader-sat4j - b88acb4c93d059601c90b83ca73f16a56c7d21ee authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Sync with new ISolver interface.

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

github.com/QuiltMC/quilt-loader-sat4j - c6fccfdafba80632318cdeaa6003c64dc7a68471 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Updated code to Fix genuitec issues with Xplain.

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

github.com/QuiltMC/quilt-loader-sat4j - 27e8708332105d3dd553acea013eb8966efce5f0 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added org.sat4j.pb.tools in exported packages.

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

github.com/QuiltMC/quilt-loader-sat4j - 04b90d5716fb52911c220e264c6c7554481d6d8e authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a new generic parameter to let the user map its constraint with any object.

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

github.com/QuiltMC/quilt-loader-sat4j - b486d3860b4b02de43973aaf4536229bd30f1871 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

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

github.com/QuiltMC/quilt-loader-sat4j - a658d877fe3c374df40d778dac62c334ca55718a authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed warnings reported by Eclipse compiler.

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

github.com/QuiltMC/quilt-loader-sat4j - b65983ea9e4387672bedaf34f69a7840f0548668 authored about 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Improved helper API.

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

github.com/QuiltMC/quilt-loader-sat4j - a8b2235e5350327a14f8a3895f23a386734e79f7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

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

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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: ...

github.com/QuiltMC/quilt-loader-sat4j - 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-...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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/...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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-...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - 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...

github.com/QuiltMC/quilt-loader-sat4j - a1284fb45199475f7c67635d5bb0744616a2a8e8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>