Ecosyste.ms: OpenCollective

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

github.com/QuiltMC/quilt-loader-sat4j


https://github.com/QuiltMC/quilt-loader-sat4j

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

63239be47af30c97d223943e27d98ad32f5fd097 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed stupid bugs in the WBO encoding.

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

7fe08e6b9258acd966a30061b174abf1395ee612 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial implementation of WBO for PB 2010

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

d60d1128dd61b68d336a878e975190145164d415 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Hide variables created during linearization while outputting a model.

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

21ddbaaec5d069daa2a42340b49adc8cdac81c19 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the checks for varId that was not correct in case of linearisation.

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

4834c380b73ca23026f6e6b42949afb95337e8d2 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display line number in case of error in the PB file.

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

11482d847c4149638735f9446d468d98037df264 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed some @since annotations.

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

cd1ac4a5c9784a503ca258e2cea8ee1d68f7cd98 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed msuncore that appears on 3.0 branch.

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

034d52419fde982dd5338910f9bb07e08df0deac authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Increased timeout.

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

b3be1745e305b66f66e29a0a7991cf65fcdd6a7c authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using decisionLevel() instead of trailLim.size() to make the code more readable.

Made decisionLevel() method final to allow the JVM to inline that method.

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

d91aedb0453feb47477dee7f6c4ab4cd8254d3f3 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug occurring in the Eclipse I and N-build.

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

5793d45bbaece9f4a707b4fd8ec3f879a852ab19 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Throws an exception when the object passed to the getValueFor method is unknown to the solver.

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

7c47288ee94f73ce3966621ba8e6dc1cdb055d42 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Launch an IllegalArgumentException when asking for the varId of an unknown object.

Return false when the value of an unknown object is requested.

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

857414c039ed90281830f241d03c9e51454cf573 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed error when printing only negated literals.

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

298c474ddcd57732d4c3f41d6ad3b2bbe8d3d693 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
some comments added and dead code removed

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

4dbb596984a1d2ff10f7fcc3821fa714034eab1c authored over 14 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do not launch IllegalStateException in setTrue if constr is null.

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

bd463777392403cc20e536405642f58d36bb3ec1 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a PB solver with a simple restart strategy (but Glucose style memory management).

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

7bc6534a50c76b52cbdeb25cda0ffcd8ed29a049 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Default solver is returning ResolutionGlucose.

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

a65f84008b9e916d80d8c410d356caa0aa5d6a94 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made available a default solver with glucose memory management, and two resolution based solvers, one using glucose and one eating has much memory as possible.

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

ec850b7263827bf6fce98a81d348b12e0c88271d authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed glucose memory management for pb solvers.

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

a9730ba5e612455400e0ce538cf1844f1f23ecf7 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using glucose style memory management for default resolution based PB solver.

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

d507b07c07b3482097cf3421bfc9a852e9e696f4 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back the missing HT solver.

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

4df6fdd539e85086be92f1461cb682cd534ca299 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using WL for default PB solving.Keep HT data structure for Eclipse PB solver.

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

4f63e06cb84c3d850890cf797bc058e03696e436 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a nasty bug found by Luis.

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

20dc491a61ed00576c23f4d934d3f38dd0fd4644 authored over 14 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed copyright header.

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

94f114e05b7ed1e749d47eb40d37f307014e2c85 authored over 14 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Yet another fix in the explanation algorithm.

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

c2f964b1bc3389d110307b7e3409e7d7b81c63b2 authored almost 15 years ago by daniel <daniel"@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issues with explanation within dependencyHelper.

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

660759af761566740d55e59ed75372c95bf60f20 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with TestGroup failing test.

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

b7ff94e1c95e44373a7927e5cf955f5026630686 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed wrong assertion.

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

71f940117b0543afa9ffa92bfff9fba6c439336a authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Unified way to deal with explanation.

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

09c38d2bb767e31775e521aa4585126f1deed1d5 authored almost 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>