Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

The Quilt Project

The Quilt project is an open, community-driven modding toolchain designed primarily for Minecraft
Collective - Host: opensource - https://opencollective.com/quiltmc - Website: https://quiltmc.org/ - Code: https://github.com/QuiltMC

Removed duplicated most duplicated code for output solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - 714bc627186e66bb09552e06b70d4e46b371a001 authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing case where unsetting a variable no longer present in the trail.

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

github.com/QuiltMC/quilt-loader-sat4j - 8a619110fa5272bff0fb2c8f3badb81bba45176b authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using smaller sleep time when a timeout is reached.

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

github.com/QuiltMC/quilt-loader-sat4j - 7454a1f191fd286c3ddc5d45851f583627963b62 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
manage properly tautologies.

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

github.com/QuiltMC/quilt-loader-sat4j - 1fb0df459ef2df1fec5b4ac3eb0b3d4fa38de449 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make MS solver parallel.

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

github.com/QuiltMC/quilt-loader-sat4j - 624b9fb85d635205c5872e5b2722931a85a76df4 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Returning UnitClause/UnitClauses objects instead of null.

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

github.com/QuiltMC/quilt-loader-sat4j - 0e8e9f13586787b0608930da314685d863d7f62d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
undertimeout back to protected.

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

github.com/QuiltMC/quilt-loader-sat4j - 931827e074ed48038de922b402098b60d1a5c916 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
initialize back undertimeout to true at the beginning of isSatisfiabile else the expireTimeout() method no longer work on ManyCore.

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

github.com/QuiltMC/quilt-loader-sat4j - 3dd6babe2530194026e4077d5053df5344c9cce5 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reduced memory allocation during initialization.

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

github.com/QuiltMC/quilt-loader-sat4j - 108bfbc1ce978ac50658bbcc1eaacb54cb40de72 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using assertEquals instead of assertTrue.

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

github.com/QuiltMC/quilt-loader-sat4j - 935e0842c1903dd37a2f7d5c06c3967616077fe1 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Return an object when a unit weighted clause is found.

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

github.com/QuiltMC/quilt-loader-sat4j - b24ca84ca177b1e77e0df7eb9346074765f3c688 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display a message if a constraint is skipped in the multicore.

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

github.com/QuiltMC/quilt-loader-sat4j - f1a9a14dbc07f41228e77879cd3f0a29652299d0 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Return an object in case of propagation of elements.

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

github.com/QuiltMC/quilt-loader-sat4j - e0334d2867329ad861bba06078a6eb8ca2175198 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
MinWatchCard now returns UnitClausesPB when all literals are propagated.

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

github.com/QuiltMC/quilt-loader-sat4j - 52a686c09455baced13ef2e2ccbaf86698e3489c authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better timeout handling during optimization.

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

github.com/QuiltMC/quilt-loader-sat4j - 9348fb1de243c075b297b2e4fe5186f01588c6d5 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
CP solver now checks timeout during conflict analysis.

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

github.com/QuiltMC/quilt-loader-sat4j - cfaac9ad2aa76d8647ccd326f7a7feba81206d36 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow conflict analysis to stop when timeout is reached.

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

github.com/QuiltMC/quilt-loader-sat4j - 56a9b0824ccf6ceec58ba6b87d360362a485020a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
AtLeastPB now returns a UnitClausesPB object instead of null to be properly used in the context of PB optimization.

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

github.com/QuiltMC/quilt-loader-sat4j - ff0436bb1e296bf424f3b29e2c60293ee506667a authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
UnitClauses no longer final to allow its use in PB context.

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

github.com/QuiltMC/quilt-loader-sat4j - 1bce9ccebce31df8a95b5fdaf0b190446390579d authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed removeWatch() to ILits interface.

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

github.com/QuiltMC/quilt-loader-sat4j - 0578027be138055691153035dc3b25068d779e3a authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed removeWatch() to ILits interface.

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

github.com/QuiltMC/quilt-loader-sat4j - 77452f414153e25f24f3c091801a4b08eea3319e authored about 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using now a parallel solver for MaxSat.

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

github.com/QuiltMC/quilt-loader-sat4j - 45c4c8e074518c55c6afa1c6310a2a3ea6f56c8e authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to use a parallel PB solver for MaxSat.

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

github.com/QuiltMC/quilt-loader-sat4j - 6441cf5e221884f5dc5ad9600137d2b4a87af330 authored about 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using back glucose style memory management strategy in CuttingPlanes solver. Added a new CP solver called CuttingPlanesAggressiveCleanup.

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

github.com/QuiltMC/quilt-loader-sat4j - 890d51a4d38391482476343cd4678ab69cbf5419 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved implementation of the fixed size learned constraints deletion strategy (using a method with maxsize as a parameter).

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

github.com/QuiltMC/quilt-loader-sat4j - ffe0c6a46b7a24387566cefda68d2ca3ac7f8428 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed additional prefix occurring in the output.

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

github.com/QuiltMC/quilt-loader-sat4j - 711c95c86cdb6d7ab19d2da9c5bd332e2d311408 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a solver that should be very close to the solver available in release 1.7.

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

github.com/QuiltMC/quilt-loader-sat4j - ff380e8ff7cbaa841e8729a3d63c5b60832f85f9 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
pom.xml are properly configured: 2.2.2-SNAPSHOT

JDT compiler back in build.xml

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

github.com/QuiltMC/quilt-loader-sat4j - 801983e0bc65013f230df165680240f639f97999 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Getting still a bit better: gory coding in clause minimization.

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

github.com/QuiltMC/quilt-loader-sat4j - 4039a9c329169c47286da279971d1a3ecf1bf8d0 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Gory coding to get a 1/6 speedup on the raw solver. Should get back to release 1.7 level now!

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

github.com/QuiltMC/quilt-loader-sat4j - 0cb0c6b10a32e300f4bbbf51147832d24cb78abe authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed typo in the Javadoc.

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

github.com/QuiltMC/quilt-loader-sat4j - 5dadf4728893a1288535576c8f4d9842044848fb authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
returns a copy of the explanation vector instead of directly the solver field.

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

github.com/QuiltMC/quilt-loader-sat4j - 400aeba7ebd0c2802ba0925c60131d41b90df8a4 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed warnings about serialVersionID with Eclipse compiler.

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

github.com/QuiltMC/quilt-loader-sat4j - de92f33885fc33e622882c040c73d2e41fd7dcd4 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Solver is no longer verbose by default so the launcher has to make it verbose.

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

github.com/QuiltMC/quilt-loader-sat4j - c99b4202e378a2351f2d87052b254bbed6f43fc2 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Solver is no longer verbose by default.

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

github.com/QuiltMC/quilt-loader-sat4j - a2b2e00327b3bbb960d8d93a7f3d0ec6692a22e3 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a test case to check the behavior of RemiUtils.

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

github.com/QuiltMC/quilt-loader-sat4j - b9c06196a43b9150ceaaf0179ec0283ebdef042a authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a fix in the analysis of the final conflict to make sure that unit clauses are not removed after the procedure is applied.

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

github.com/QuiltMC/quilt-loader-sat4j - 9e37268678b156859b268adb4507e909af5500a4 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed HT DS used in unregistered clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - ef4091b11ef0e9d9e562697bfd503e42659012b2 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made a clean DSF to simplify behavior checking.

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

github.com/QuiltMC/quilt-loader-sat4j - fea23b9ddb90f51fa4541e5cbf829c5aa4e03e6a authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug occurring if the maxvarid is much bigger than the sum of the variables + the soft clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 0461686626e00200fa3f94b13483fc7820e1ff8b authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow unit clauses to be used in the original clause minimization procedure.

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

github.com/QuiltMC/quilt-loader-sat4j - 67b2e483bb23d6d99ec75da2bcc36a904cea1126 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed reference to FirstUIP class.

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

github.com/QuiltMC/quilt-loader-sat4j - 04c8f31d9661a288f52eb50061208cb9cedd3f1d authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed reference to FirstUIP class.

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

github.com/QuiltMC/quilt-loader-sat4j - ed40dbfe05a31e9f12774e1e60b4b9f1517996ab authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a comment.

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

github.com/QuiltMC/quilt-loader-sat4j - ea4eee7bc8f525fb25a284d32422c00081bdda3b authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed wrong import.

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

github.com/QuiltMC/quilt-loader-sat4j - aaf1e3dbbd7364d0adf0067b44b39cc4a4ea8c3e authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix line number reported in case of error in the input file.

(the first line reported was 0, not 1).

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

github.com/QuiltMC/quilt-loader-sat4j - 1fe8be3ecaffb6cb84eebc8778c4eea0e1e4df4c authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Several test cases showing a bug reported in the forum by Chris in action.

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

github.com/QuiltMC/quilt-loader-sat4j - da6c2f01e78ed4d4a4cb547d5d4531b17d85ff4f authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bugs reported in SAT4J forum by Chris.

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

github.com/QuiltMC/quilt-loader-sat4j - 51934ea9eeba9f3a1d1ba549e46f54e0acd4b3c5 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@753 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

github.com/QuiltMC/quilt-loader-sat4j - 52e300da6e1ae61c27217ac6a907b60ac3bb265b authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed all code related to blocked literal.

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

github.com/QuiltMC/quilt-loader-sat4j - ae74f2202ac610168258f33256bd2f67180a49d9 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updating shortcut whenever a new satisfied literal is found.

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

github.com/QuiltMC/quilt-loader-sat4j - b134d0b3497b3b7005c1cf06487c29df2895a5fa authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using a shortcut literal in the clause. No more tricky management of literals.

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

github.com/QuiltMC/quilt-loader-sat4j - 5f5a6c2d86ad588a5ab060735f755b59cb6a6925 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
watched literals are moved to two fields.

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

github.com/QuiltMC/quilt-loader-sat4j - 5aa7bea30d721d6c41c0874326a3f13dc78117f2 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed aggressive deletion strategy.

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

github.com/QuiltMC/quilt-loader-sat4j - d5308e13e49d9b2f29aa97822801624f01f4e182 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed back the shortcut trick (need to clean up constraints).

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

github.com/QuiltMC/quilt-loader-sat4j - 1b26388753a9a1d03fc204fbf88f41714ed92780 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed typos: clauses -> constraints

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

github.com/QuiltMC/quilt-loader-sat4j - 7f6806c2512df899e6352fe5ab0a859055d487f0 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using removeWatch instead of accessing watches().remove().

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

github.com/QuiltMC/quilt-loader-sat4j - 0cafeb4cdd542b5f6cfca35d7b932ac5dc885612 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed correctness issue.

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

github.com/QuiltMC/quilt-loader-sat4j - 867f0154c83356e9c9836a3ebc7a621cdae15fdd authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fìxed bug: shortcuts no being cleared.

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

github.com/QuiltMC/quilt-loader-sat4j - d3bdb7538a0129109a66d2f4cd7eac8cfe570c0c authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed CB clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - cffe640549002040c7b9d9be03adc95404e6070b authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed CB clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - d412a096f642b2cdcf743f261f94f4e9ed8d560d authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed CB clauses.

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

github.com/QuiltMC/quilt-loader-sat4j - 9d4b0227d97e9509ce1bedd0f3a99f8e3ee829a3 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented short circuit for satisfied constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 2e4c55e65cf65f593bc7a45638f5f98e2e5685fb authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Inlined FirstUIP implementation.

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

github.com/QuiltMC/quilt-loader-sat4j - 9ac6b050ab05e4d8dfaace88d11c34557c7a2e11 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Inlined FirstUIP implementation.

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

github.com/QuiltMC/quilt-loader-sat4j - 3863a0b928a678bd7fa09b857b0f7348dee29a2e authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Inlined FirstUIP implementation.

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

github.com/QuiltMC/quilt-loader-sat4j - 856310d12006f097bdccd61bf45b3aa7cea1672b authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Inlined FirstUIP implementation.

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

github.com/QuiltMC/quilt-loader-sat4j - c7013f699aacb210f3fb09bc63558ed7b22d6014 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added res//CP under the name Both.

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

github.com/QuiltMC/quilt-loader-sat4j - 8af397eabd4da46e0741fa5b8ba82d8273adf658 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for Res//CP

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

github.com/QuiltMC/quilt-loader-sat4j - 8cc3ffbae2dc9f7357766705e20bede7c62ebc89 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for running solvers in parallel.

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

github.com/QuiltMC/quilt-loader-sat4j - 1ac28cd03693dda632742620f774004449b4f2a8 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixes the number of constraints returned by nConstraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 5363befe1a8fa9d6ec7660f4aeaa49eb55c856da authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a resolution based solver with simple simplification.

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

github.com/QuiltMC/quilt-loader-sat4j - afff3590387fa874848a413ead39e83b8ddd97e7 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a missing parenthesis in clean target.

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

github.com/QuiltMC/quilt-loader-sat4j - 4a25a2f04392caaccc73f8e17d45702db935457c authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Keep only few learned PB constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 35154d641e469a636937cb8aa37a7baf1a467ab5 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new memory management scheme.

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

github.com/QuiltMC/quilt-loader-sat4j - 8b32c8ead132faac52c80dd8a4d0872040dd6f9c authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue for WBO solving.

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

github.com/QuiltMC/quilt-loader-sat4j - c8ecd34a9116d048e7ef7bd59bfd72fba94e803e authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.sat4j.pom-2.2.0

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

github.com/QuiltMC/quilt-loader-sat4j - 6e4a0894f4703cf57e10bea52fe6afce59805774 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed dependencies.

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

github.com/QuiltMC/quilt-loader-sat4j - 1bcead926b87c1f80230b38f3b7f87f492f80020 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses new version of ConstrGroup.

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

github.com/QuiltMC/quilt-loader-sat4j - c6740072a53a3ebd3907c80cab1ba53270475a66 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Visibility for the second constructor to public. Added javadoc.

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

github.com/QuiltMC/quilt-loader-sat4j - 795ace8a1507c87b07c922b6498c929f3646484b authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back feature preventing adding unit clauses in a group.

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

github.com/QuiltMC/quilt-loader-sat4j - 2f2d7d844ce54510725af2015e0b8d120672344e authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved the lookup of binary product new vars.

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

github.com/QuiltMC/quilt-loader-sat4j - 67de2cbdcaed3c85fcc3693d21a7a063101eeed8 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better solution.

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

github.com/QuiltMC/quilt-loader-sat4j - 3d2e734e1539a760c7527530f6b97152cdadf855 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed objective function format.

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

github.com/QuiltMC/quilt-loader-sat4j - 4979cf3139c63a6bba8858b34d80971612294c97 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
reduces waiting time in order to have more chances to display a solution before being killed.

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

github.com/QuiltMC/quilt-loader-sat4j - 4964bb721c7610292fcdd4dd2bdb92a530a15e59 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed an issue.

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

github.com/QuiltMC/quilt-loader-sat4j - be43447296f8a17549fed03f36079ab0c1d7a056 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Need better synchronization once a solution is found!

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

github.com/QuiltMC/quilt-loader-sat4j - 0a0cd382e1e496c2f0be06995b0517c407212268 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
improved management of multiple solution found.

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

github.com/QuiltMC/quilt-loader-sat4j - a57c0941633ecdb3e372b0c6188feecb7a9a0989 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure the solver notifies it did not finish when an exception occurs.

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

github.com/QuiltMC/quilt-loader-sat4j - 117ff1f25eb23df43f0361cd86ab9e5178e11043 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added target to build the parallel PB solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 42f1ebdcf9aed8867a27c71de24559d9718c4144 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allows the creation of parallel PB solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - 39592e6e86a7b398e392f8fef5910fe2ee866173 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changes to allow arbitrary SolverFactory to be used.

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

github.com/QuiltMC/quilt-loader-sat4j - c17f84ddbd9999a4199b02a025af9707ada2e577 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changes required for // solving.

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

github.com/QuiltMC/quilt-loader-sat4j - 6333edf409ecc92b7d516836b2eaf0205204abc4 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
simplified back calcReason.

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

github.com/QuiltMC/quilt-loader-sat4j - ceb2ce854bb0e016b1eae906f35231e6319d13ab authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added long based weighted objects.

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

github.com/QuiltMC/quilt-loader-sat4j - f7f2513d751a0a9e55d554239b700d3f9a23830a authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Probably fixed a problem in calcReason.

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

github.com/QuiltMC/quilt-loader-sat4j - 84f2a89a63f9689396928add5549b7b2bfd5a422 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Flush stdout before displaying the results.

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

github.com/QuiltMC/quilt-loader-sat4j - 0004cc43dab8ebf3d1f8627d48b479d31c36343a authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixes trivial consistency in PB reader. Added all-in-one package for sat4j-pb. Using tycho jdt compiler in Maven.

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

github.com/QuiltMC/quilt-loader-sat4j - e7a51f644a4f15cdbceb0b057d85129ad5fae14c authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better handling of soft/hard constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 33ce6c2f9b08ae2b61e753de3ca032105666473c authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better handling of new variable ids for WBO.

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

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