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

Fixed orders of modifiers.

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

76e4346bf1e56972cc9f70b02bdd5798c38d6fdd authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar issues.

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

0b0ba8c285f24aadd0f73187c07ea4e03eb08df5 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless final.

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

d65e263f11f70f7a20565b3ba47a4689450d6206 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless final modifiers.

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

d7bccae83cb62fd5f8879999bc987152501b73f0 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed useless public modifiers.

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

0e624aa38ed3db5528a5f68d03647e43b97af96d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed useless static final in interface field.

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

881a8dd93fab860daad0fe731e4eb72c75773a12 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed unused public.

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

247c161b9f97ad4559f08730b4b816b09701a3ac authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed useless static in interface field.

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

328a2abaff808686143378fd78bd8115b02a6754 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed use on instanceof in a catch.

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

b14fea069666558e0df1d9f43f4f2b2ec2d99ed3 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Collapsed if statements.

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

9d123b6803bc6ae70f708332d4cffbf94918469c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added message for ignored constraints.

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

ce57b6d575341ce140163bc83ce5085956f150aa authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant exception.

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

5047ca4280d0c78f02da550877977098bdcabbad authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant exception.

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

0d96ae2699c573fdc5359578e292d89dced12484 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless import.

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

f01c19fc8b91f77172f205bd9c1e843e04626280 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless public abstract modifiers.

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

da7df05dfeedf90b84b79dadd11cfca30703750e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless public abstract modifiers.

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

a4c2579e275c87f4fdf0076b0ea20e85ff05f18e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless public abstract modifiers.

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

2e02c377247643aec90b0e87e84f676a5769be67 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issues with RTSI.

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

008acbdfdbd0a0884924fab28933537fdd5e5f17 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless modified (public modifier for methods in a public interface)

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

f12794417f5355f20afa24f65f864420a56d3d7d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed platform specific newline in format string (\n -> %n).

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

f89802a99ccfc077c231403c249eb98c172d55a3 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed log prefix.

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

bf7f07421e1c961d1cbd15a32aedcf26e2731c68 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added statistics about prime implicant computation.

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

3e55e42adda17d15ddbd534d9672062772f2cd65 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Cloned parameter args in RemoteControlFrame constructor to correct critical bug from sonar.

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

3c945076ed6db4a0c57ec28c6ddbee779916e2f7 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed missing parenthesis on conditional.

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

e02a7d1cb5a4c0e3c7b45f947c873e4ac671b140 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed AOOB in addAtMostOnTheFly.

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

8f5bd6565e7a13342b5f7210eb39ee1ece17d677 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed AOOB in addAtMostOnTheFly.

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

4ef4e0fc6532c4159b0ac352777991e7bce21be1 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display the value of the objective function when the solution is proved optimal.

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

b07e45f6d7a24b830f55ae55ae8914fc5d4eaa8d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added getLogPrefix to ISolverService.

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

d7cbf75851d8645a8526f0775d2521480610d025 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed sonar violations added yesterday.

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

4cd338c50da5e74998017747f2d70a45de33d5c7 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Deleted unused method in Commander.

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

fb6012626b31c54a26a737ca818636ae7e8d79a7 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed compareTo method in TraceComposite so that the following equality is respected (x.compareTo(y)==0) == (x.equals(y)).

This should fix the critical error raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnro...

830430e7010be64ad3a441442fc1f41461ad08e2 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Cloned parameter args in DetailedCommandPanel constructor to correct critical bug from sonar.

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

f44f87f007087d366ae938e32df191bb95c8414e authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Used StringBuffer in VisuPreferences instead of concatenating a string in a loop to correct critical problem in sonar

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

9f48a0b85a1d222942785909a724f81ca05b44fd authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem type identification when the problem file is compressed.

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

f23e21e5f2805635bff9f6a5e1594188dc10330e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem type identification when the problem file is compressed.

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

66c619921e87084b5a028b2e07cb1f89f9dab0da authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The restart strategy no longer provides the SolverParams. It is now provided directly by ICDCL. Fixed a few warning and removed dead code.

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

342b448bcdba2b6251f884600f0f9719a6511c09 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Refactored the Restart strategy to avoid Glucose21Restarts specific behavior. The solverStats are now passed to the init() method.

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

f0d6144b19f522d680fc13eaab7903c2db76920e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Refactored the Restart strategy to avoid Glucose21Restarts specific behavior. The solverStats are now passed to the init() method.

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

cc8724451e995d7997e0cad88e2ab89ec445915c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Displaying expected o line in case of optimization (to work well with the eval framework).

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

a936f1525afeeef6e5b3f1b56f565631abdae23c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented code.

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

c930eaa63b184a7f1183461f0d8860b311e8515b authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added license header.

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

90ce4403bd8be19c5df76571256c79eb53b7cbfb authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a way to deactivate prime implicant computation.

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

f43fce1cff5364930392f245006822c230a4770c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added dependency to org.sat4j.pb.

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

2c32ed3e19629d1b3cf18ea115abb4e5289ed7a7 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Enabled back MinWatchCard.

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

ec38dbbd6d5ce83b8790d93bacdb8768edd90282 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed restarts strategies to be properly initialized in case of multiple calls to isSatisfiable.

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

f919c4f8677346f82bcf68dc08c45e69106b9e57 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Temporary fix for SAT-87: the MinWatchCard data structure does not scale well in case of repeated calls to the solver => need to investigate it further.

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

0cb6972c665aacea704e04dab63f9b7e56c64fe9 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted changes to method setOrder().

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

f28b10e77faa767b9d6408e10a9ebf9ad3d82be9 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed prime implicants from MS computation.

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

67425abc049b8587a081aba0dfa3f6ce184dbf55 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Only putting vocabulary to null.

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

3bd23f3847274f391a5ddfd5edd34f6e313ca048 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Potential fix for Sebastian issue : set fields of existing order object to null before setting a new order object to the solver.

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

f8f7b9edee719129040805c2109b3bd881bad725 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added inner optimization mode (-I)

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

b511229291014fb17b0ce7cf470c12cb4f703283 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug that caused the solver to compute a wrong objective value while in inner mode (this occured when the objective function contained variables that were internal to the solver)

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

3bd6a8500fc0d37b306ee1897f61cbb521504bef authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected a bad initialization of attributes. This seems to fix the bug when launching MAXSAT with the dashboard.

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

3b43befb0eff685ead55737fad7719d7ce857783 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing methods to encodings

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

63801bd4eac07112445ab9bda6fbe30cb4d46e0e authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test cases for bug report SAT65. The test cases do not really spot the issue raised in the bug report, but some related issues. Need further work.

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

334e1d17a7e9696392da20363ac797b63a347b37 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix issue arising if a constraint is satisfied when using equivalence encoding.

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

3dda862c9bbe74291751e77ccf379a04541da144 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused imports.

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

16fc44965d85170804bd3439fa7069245caa1dc9 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to select the PB solver to use.

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

8880fa0cadf5aa4ac70c56aa7a40da500570aefb authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made PB default solver also the default for MAXSAT.

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

df27251601bf0dde8e284080dcdc08426a219120 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added mention of PI use on the console.

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

13560a07f3063f6dcdcebcc1bc8351f3d762309c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed prime implicant computation when using internal variables (e.g. maxsat case). See Bug65 test case.

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

13e2c6a5d7254ea26af1a0207cdb09088c6be16e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused others.

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

59dda784851970e9eabf3c6cd3003218be26135d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced a volatile int by an AtomicInteger to make sure that the -- operation is done properly in a multi-thread context.

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

7e1c8b893d67d7ef405cc8d2df208178fef49ad8 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Closing stream.

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

df77eab3e7d059fa09d1689bc9612bdcb0d965a5 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug in one of the constructor (used null instead of zero length array).

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

8e3794587ec31f6742c84bb049ba528c669e0117 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
remove wrong call to new Integer(int). Relying on AutoBoxing.

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

ea6a7fc72d3ebcfc3ec68e2aa3276f6942b14a9c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
remove wrong call to new Integer(int). Relying on AutoBoxing.

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

6e07903de593eaf9e777c176fa282539fcba13f2 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed int constants to long to avoid overflow.

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

fb7a208f751033d709bc3fee02ef8628e5041505 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations (final, hidden field, CONSTANT_NAMING)

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

132405efc1d893f3e155b6fb85ee8fad02d3d9cc authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless test (line is always non null because StringBuffer().toString() always returns a non null object).

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

1c16be272dd4e68a3469c0954828ee4ab8f67542 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made encoding strategies serializable.

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

15cd1bc725887a329f3f7bdf5ed742650f2c6bf5 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing @Since tag in setTimeoutForFindingABetterSolution().

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

12d38e73049f302f844ccc69ddfb535bc174eb48 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant public modifier.

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

ec9bd59f7f2a5631365339b2d67ada2e53375a12 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed potentially problematic rounding issue. Uncommented an important feature of the dynamic restart strategy.

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

64eefd49c6497ecbc05cf1a837e56627711ba2e7 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations (final, hidden field, CONSTANT_NAMING)

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

88f87a1d12067f1006f3f0dcbf471985096e8ebd authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few issues found by sonar.

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

dffb6cb20fd5caaebf8d89f26f2e9140f8c77c9c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing constant object name.

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

2becc8256b290ff47dee1d208e0126e85c732ef0 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Making that class serializable.

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

a6c060e8c581b9b9a21e0fac4902648e717f0793 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Making that class Serializable.

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

e86c801fd190219837daf4656f0bab50947d579c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixes calls new new Integer(int)

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

66e314e44cc3602f759c4bcaedd85e5f9a67830c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using System.arrayCopy instead of a loop (thanks PMD). Fixed srcPos.

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

031c43387708dd14cbc0267631c7dfdb8238f85c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using System.arrayCopy instead of a loop (thanks PMD).

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

bb5508821f4bb442e1fd4578d8d7792f253c60b0 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved ILogAble to spec package to avoid cycles between sat4j and sat4j.minisat.core.

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

8a5d1cbffa9f28d732e696042ba073d0248a9800 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Avoid having a direct dependency to org.sat4j.minisat.SolverFactory in AllMuses to avoid cycles between sat4j.tools and sat4j.minisat. The AllMuses class now requires a solver factory as constructor parameter.

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

b1706c4d8393d01ede00d3dcd71bd364ecb40830 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Avoid having a direct dependency to org.sat4j.minisat.SolverFactory in AllMuses to avoid cycles between sat4j.tools and sat4j.minisat. The AllMuses class now requires a solver factory as constructor parameter.

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

22a0e8f38dc62b43ae47c7d86910008101048a7b authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Avoid having a directory dependency to org.sat4j.minisat.SolverFactory in AllMuses to avoid cycles between sat4j.tools and sat4j.minisat. The AllMuses class now requires a solver factory as constructor parameter.

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

c4bcc5168cf506f5492a5a5438a788bcd2a9640c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved ILogAble to spec package to avoid cycles between sat4j and sat4j.minisat.core.

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

d4a7671f76290eb37c54f834329e3c502e3419a3 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved ILogAble to spec package to avoid cycles between sat4j and sat4j.minisat.core.

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

8d4d9efe97a102d32eef3887c2bedad0a1c7c114 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added some Javadoc to forget and setAndPropagate private methods.

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

b059215e2be7f17e904687c870286cccd67730f1 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Managing unsat case with lexico decorator.

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

aad6d26ace4a09ad32c2667971a128c376432fa2 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
MakesNegationDecorator class manage itself the new variables (internal state).

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

f2f65099360034702812328e3b46f20f26e2d59c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added dependency to mockito

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

367af60f1078b73cd1203b47c8094d43c1276698 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a getMsses() method to AllMuses in order to get the MSS computed in the first phase

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

e81cf02efd26e1f4517b57ae8f7befcc3fb537e5 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected cnf computation : the id of the anonymous variable that was added to the cnf list was not the good one. I used a cachedVar in order to solver the issue.

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

ab11e6e4b5c5dc8184ce514f1c9d96100949fbe7 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added verbose output for mss computation.

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

bdf7f0adf75021e7c18c0feb0dbab0ccc026d3d5 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to compute both set minimal or card minimal muses.

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

fe07ce513d14ae2a5708a7970bd2b2c0c9dad54d authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to compute both set minimal or card minimal muses.

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

90369f05befba4a5fd2628bb54fcc32648fa1872 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
It is now possible to compute min4cardinality MUSes using AllMUSes class. Need some testing.

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

db543e5a4608f5704ebce1f7e57e724ff4974064 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Print MUS with extra 0 at the end...

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

f6426f27150c75ab5eae21282b618c8494a49b4d authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
It looks like AllMuses has a problem with the simplifyDB method (when activating that option, the solver gets stalled on it).

Deactivated it by default, until understanding the reason of the problem.

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

2d94b7748dfd932d0dabec594a45505c5ef15b0c authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>