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

Added class MSInstanceReader

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

6dd61ef45f8e1ddb844431160babcda767abb860 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed code duplication.

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

d013d3d07d0db46dd9388a46908c098d1cbabb64 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Refactored the class to reduce duplication of code in the subclasses.

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

e89b78f167c3ad376c3514c9af7f660a816c5cf1 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
javadoc of ILauncherMode

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

012b0fa9673b539e6cf480f9eba7215e47942dff authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified AbstractLauncher so that it delegates to a ILauncherMode the output when the solver stops and the solve method. This allows to be either in a decision mode or in an optimization mode.

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

37b21d25dd26781248f14d215b1417cdd8e06e55 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified AbstractLauncher so that it delegates to a ILauncherMode the output when the solver stops and the solve method. This allows to be either in a decision mode or in an optimization mode.

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

0904e4bfb9548c15b9ab12faea9c1f2f9445e782 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Consequence of changing the name of ICDCLLogger into IlogAble

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

3c06e1f8419343e3afb9237b1ebd6ebced69e4f2 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed ICDCLLogger into ILogAble and moved it from org.sat4j.minisat.core to org.sat4j

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

290a13f08773c0211330affa48a9850714ed9c8d authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved verbose messages during optimization.

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

57f18dea39ee3321b1d07a500e41333c73ae6319 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test case showing that the thread issues with the timers is due to the client code, not sat4j itself.

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

5c7c7bd62882f311c4ed185f10747be88755f918 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted last change because it does not address the issue.

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

dd56f793a25f0252002fc335b25191c9bd74102c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure that timers are properly canceled across multiple runs.

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

a1c42407a6c9edac4788ec988dc5496068e218fc authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove literals from the objective function if the coefficient is zero.

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

5387017ce7b4968042b68b1bcee1c69fb8479bf8 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
getting closer to scala spirit.

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

c6934a0a62abeb783e7016a1ced436fc61f8e794 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The code is now more scala like.

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

5f840b6e06528851b3c9d0008317baa39e7c32a1 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created project for the scala frontend for Sat4j

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

24dcaea2d2be46a557959c52708fdd0266ff99e7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT-77

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

def3b60565ed0cde9a854a1977fef4b846eecd97 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a testcase for SAT-77.

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

35443abc666b3d3e8bf0288fc9461e9b72d929c9 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Flushing stdout to get the optimization messages.

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

b45e140686aec27a23c44ba004fa7419910d7479 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made some methods of Solver final to help Java Hotspot compiler.

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

f6a6cba2860386e942aa822ff37338057110391b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed ILog interface

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

9882b93de882ccb5ae517a74079be0f0ba6670a2 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare for next development iteration

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

c85456484b7e3fc054d991ff3558c47a948fbc69 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.sat4j.pom-2.3.2

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

2f4201e9ab653708878b1a83802737adf1ca6420 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Junit tests for "at most" encodings

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

01bf298588b74513b17f91f890da1bea0e5b215d authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated javadoc for encoding classes

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

2c1ec60e865fe3180ef912d1b360a7666c24d377 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed statistics: counters were initialized at 1, not 0.

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

328f6e3684a58526e4af2b6a3d0fa01229774f4b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
allow to set the initial value of the counter (was `& previously).

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

1cbd1ef74b309d7c00e2adc9ef733825a5bbeb2c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix sonar violation.

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

8ec8814993aaf766f05f996ad9212a4a513a735c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix sonar violation.

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

009bf17415d046e912079d65148811275cfa5eca authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix sonar violation.

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

09db27df94345c8e28c94b59bc834cee103ac2f3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix sonar violation.

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

b410a9830ec5e2ffe3bdb21649c4ca78fd6dccce authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix sonar violation.

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

7e8af85ab5ce8ea0193026da5f03086ca93b479b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fix sonar violation.

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

afc2044971e71a109f210580916a111fc3771b52 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed empty else statement.

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

8f5e669543fcf6f8987d344e7e2801f5a901dd61 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed sonar violations.

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

7e5ed4a8e386e20d9b31808e4f049e3665ea2d50 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed sonar warning.

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

8620a6ee3c9afa96d1143a098764a65083ca566c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed sonar warning.

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

5fba38a81fb919228a9d9ded4f2c4555c736ed42 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed sonar warning.

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

953083a4d70b7a9ab88c8b4aeb5c0741a7e762c9 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Worked on Binary encoding

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

f0b83265e1f92d5ccd8b6fcc765e5dec90014c02 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The implicant is only used if the equivalence encoding is not used.

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

252688652143dbcf3902fb31edd89025e4636f0a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed eq implementation.

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

603c4864a7e51fea6c8b4b5e82a3e5af38ce2ff8 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed removed imports for jchart 2d.

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

ecdd6c0fdd7957b1db2ac3147cca0fe56ac0582c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69
Updated Javadoc.

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

10236bcc94e6d8f11e953ab0d0ba635e3f948b9e authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69

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

4f98198de505dbfcfe4e0faeef2ddb6c59d3239a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69

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

e6571ef7f4c9fc6fe01a3c451e880a1224af2765 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69
It is now possible to evaluate an objective function using a pr...

ba08d8bd72bef0571f06f87f10019ee07a5668a5 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Tests for binomial encoding of "at most k constraint"

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

9164678b8f12af0acabe3f1279ef3dff1a6e0cac authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced package.html files with package-info.java classes in org.sat4j.sat

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

b25f7fcaf8c473dff402d1c5babd39ee702ccdb3 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced package.html files with package-info.java classes in org.sat4j.pb

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

727da25ad8076c2a0a33f019abd14686420afc1c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced package.html files with package-info.java classes.

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

923d4eb2e9ab71177513af6a452cf0e13df007ed authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created a Enum for the different encoding strategies in order to allow the customization of Policy

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

0c75404be5e4c2506617a57ab473d2b1e644617c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
displaying the reduction in terms of literals.

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

2b40e2a0468dadc4e8af2cefce0e723132339a58 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
making clear in the output that a prime implicant is returned.

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

7b2f5d8e204963410afd8826b5b31b7d96640b12 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
the prime implicant now sees its values sorted by var id.

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

0989733a538b781938cdcc5c9a5c39a419604f3f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The prime implicant can now be used instead of the model in the command line tool (nice to check that the prime implicant found is really an implicant using the competition framework).

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

9cde19ba5c4d4a85e54673a1b5391339fc1a8836 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69
Allow to set the semantic of the PB decorator for non optimal s...

4d0e11f2f46c47b529b64d1c29e9872cb48cdd2d authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69

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

eb2d03a55a54dd6e5edd98927d3ee0abce70691a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Code cleanup (to reduce OW2 sonar violations)

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

94fdfc7aee3d96dbbacea2ec4c0f56ed85468f70 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Code cleanup (to reduce OW2 sonar violations)

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

177a6b09d6ad3b5f5e1e0a2eddf3b91c9af3f241 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Code cleanup (to reduce OW2 sonar violations)

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

f1c7fc8a3e26c036055fe58bf03c8ad07366cb3d authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add project specific rules for formatting (to reduce OW2 Sonar violations).

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

febaa1752653755cd33053b1b41e24a97b895742 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add project specific rules for formatting (to reduce OW2 Sonar violations).

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

ea227754feaec34875a33762666da8bc286c4249 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add project specific rules for formatting (to reduce OW2 Sonar violations).

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

d909883018038dfb6570ee4e2a673fd7190a2f9b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add project specific rules for formatting (to reduce OW2 Sonar violations).

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

237666bad9a2874123e3e8dae357d440d1c23b5c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
RESOLVED - issue SAT-71: Add statistics in ManyCore solvers on the solvers that answers

http://jira.ow2.org/browse/SAT-71

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

02c60e97c217ad8ad4e43edb07c00a60ab3183ed authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
RESOLVED - issue SAT-72: Print the statistics of all solvers in manycore

http://jira.ow2.org/browse/SAT-72

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

92bfb6dcb82653515cac3115333c14d7808b3dec authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new rules to have a better score with sonar OW2 profile.

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

a67f46e569c66af3b432d3914f04b9a037c57088 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made outcomeListener part of the API.

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

676ddd1127a2fb93df03795c5b00d558aba82ab1 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
new "mystery" option.

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

b8314cc772e85a61fb281cb6ee6d5e886f7d35e0 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make SAT and UNSAT solvers public.

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

e88cde2e88924b0a1c9b574342451b6346f6d478 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created two basic SAT and UNSAT solvers.

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

42c3f55edc020a76b4f9c2b834ab6958cc815b1f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT-61.

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

0483a9417b632196a0453d8d13af3b21be8b4431 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed sonar critical violation.

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

c60b45c2bd939a8d5932a0aaccf4f95e530e0330 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
SAT-61: non linear constraints report incorrect results when conjuncts appear multiple times.

http://jira.ow2.org/browse/SAT-61

Added a test case.

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

c1cfc53c222a75509a58c930345bf7c4120b7784 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
REOPENED - issue SAT-63: Make Java 1.5 binaries instead of 1.4

http://jira.ow2.org/browse/SAT-63
RESOLVED - issue SAT-48: Memory requirement checking in ManyCor...

3d655bb98374fb9cc92833a58a64e526895eeb71 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
REOPENED - issue SAT-63: Make Java 1.5 binaries instead of 1.4

http://jira.ow2.org/browse/SAT-63

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

212e3c38fea70f4e0c9940f48067d46818041b02 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed pom.xml to make the maven build pass.

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

98a240d1637e4e44febecff62e5e8c5a94b3774f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved fix for SAT-66.

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

be1725b76f821a19ac1aa2ed3554a9701f804c0c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved fix for SAT-66.

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

4644481c1e52ca8b0ce13a160844cd44f2380952 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed spurious debug messages.

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

f4757137b2d809524677d2ff2865e6a5d6ddeec8 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed assertion in primeImplicant computation.

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

f261d9b944eb9039d5e7563e65e3c35e8bf03a2d authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed spurious debug messages.

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

fae86a1b11affe36187caee89326324d74e22cfa authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed prime implicant computation.

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

ea71932abaa5784311629a2e12b474eaf7511f82 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to disable solution line

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

d21b35616282e99c3e2f65b8a5a56892ad9deb02 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to disable solution line

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

cdc2fc250294eed94a0a7adf5c5c609f5cf8daaa authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added CLI access to eq encoding for maxsat.

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

cf4711ba96b9953a5d41698ddd8d455df844aeb3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved Solvers and RTSI to org.sat4j.sat -> modified LanceurPseudo2005 so that it does not use Solvers any more

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

a52b4923ce8f0d56d2b69b3be4aa9cdbc62e1045 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed the display of restart tab so that manual restart and restart strategy are at the same level !

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

8b31aea27bec9c5f4a354836de812a2c0ef76560 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Sat4j is now compiled for Java 5.

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

b9ce6fb30245d2f6883752695ea562fe439f8bb5 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed the test to use the new methods.

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

ac4c8b507006f238e0f3af7547f71fc7ecec7275 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed the implementation of the luby sequence by the one presented by Donald Knuth during his invited talk at the SAT 2012 conference.

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

e9ce0bddef45ade1d8bcf68ebdeb8e26741941bb authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Still the refactoring :)

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

ab30482ed41530de560d063bde7f8e34d4c57058 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Continue refactoring of DetailedCommandPanel

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

894f82e4af39d80dc7e489bdfca707506f510ebb authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Extracted Phase component from DetailedCommandPanel

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

3fb338b154a36b473c2ba8a21b72ca4db3c1ef1c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to use equivalence with the selector literal.

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

1ec26322b29e8173e2bdce6ae04de313fad90df2 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to use equivalence with the selector literal.

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

70107e9e571893215c7f43a6203d99c8569c366f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Divided the role of restart button into two parts : one manual restart and one change restart strategy

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

9fc53697dcf86846287f8c73d4200b385b785a3b authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Continue refactoring of detailedCommandPanel

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

2360ebab9e57c9baf0ad0093bd93a0921266a670 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Started refactoring of DetailedCommandPanel :)

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

598920ea293d7e8e88f5e5b317d9e84eedf74aee authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added jchard2 to sat4j-sat jar

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

d6bf8544e6c5d20f99ee6e727af9de8558d7e29a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>