Commits · f43fce1cff5364930392f245006822c230a4770c · SAT4J / sat4j

16 Jan, 2013 1 commit

Added a way to deactivate prime implicant computation. · f43fce1c

leberre authored Jan 16, 2013

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

f43fce1c

13 Jan, 2013 2 commits

Added dependency to org.sat4j.pb. · 2c32ed3e

leberre authored Jan 13, 2013


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

2c32ed3e

Enabled back MinWatchCard. · ec38dbbd

leberre authored Jan 13, 2013

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

ec38dbbd

12 Jan, 2013 3 commits

Fixed restarts strategies to be properly initialized in case of multiple calls to isSatisfiable. · f919c4f8
leberre authored Jan 12, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1736 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
f919c4f8

Temporary fix for SAT-87: the MinWatchCard data structure does not scale well... · 0cb6972c

leberre authored Jan 12, 2013

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

0cb6972c

Reverted changes to method setOrder(). · f28b10e7

leberre authored Jan 12, 2013

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

f28b10e7

11 Jan, 2013 1 commit

Removed prime implicants from MS computation. · 67425abc

leberre authored Jan 11, 2013

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

67425abc

10 Jan, 2013 2 commits

Only putting vocabulary to null. · 3bd23f38

leberre authored Jan 10, 2013

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

3bd23f38

Potential fix for Sebastian issue : set fields of existing order object to... · f8f7b9ed

leberre authored Jan 10, 2013

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

f8f7b9ed

09 Jan, 2013 4 commits

Added inner optimization mode (-I) · b5112292

lonca authored Jan 09, 2013

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

b5112292

Fixed a bug that caused the solver to compute a wrong objective value while in... · 3bd6a850

lonca authored Jan 09, 2013

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

3bd6a850

Corrected a bad initialization of attributes. This seems to fix the bug when... · 3b43befb

sroussel authored Jan 09, 2013

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

3b43befb

Added missing methods to encodings · 63801bd4

sroussel authored Jan 09, 2013

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

63801bd4

03 Jan, 2013 27 commits

Test cases for bug report SAT65. The test cases do not really spot the issue... · 334e1d17

leberre authored Jan 03, 2013

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

334e1d17

Fix issue arising if a constraint is satisfied when using equivalence encoding. · 3dda862c
leberre authored Jan 03, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1725 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
3dda862c

Removed unused imports. · 16fc4496

leberre authored Jan 03, 2013

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

16fc4496

Added the possibility to select the PB solver to use. · 8880fa0c

leberre authored Jan 03, 2013

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

8880fa0c

Made PB default solver also the default for MAXSAT. · df272516

leberre authored Jan 03, 2013

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

df272516

Added mention of PI use on the console. · 13560a07

leberre authored Jan 03, 2013

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

13560a07

Fixed prime implicant computation when using internal variables (e.g. maxsat... · 13e2c6a5

leberre authored Jan 03, 2013

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

13e2c6a5

Removed unused others. · 59dda784

leberre authored Jan 03, 2013

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

59dda784

Replaced a volatile int by an AtomicInteger to make sure that the -- operation... · 7e1c8b89

leberre authored Jan 03, 2013

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

7e1c8b89

Closing stream. · df77eab3

leberre authored Jan 03, 2013

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

df77eab3

Fixed bug in one of the constructor (used null instead of zero length array). · 8e379458
leberre authored Jan 03, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1716 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
8e379458

remove wrong call to new Integer(int). Relying on AutoBoxing. · ea6a7fc7

leberre authored Jan 03, 2013

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

ea6a7fc7

remove wrong call to new Integer(int). Relying on AutoBoxing. · 6e07903d

leberre authored Jan 03, 2013

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

6e07903d

Changed int constants to long to avoid overflow. · fb7a208f

leberre authored Jan 03, 2013

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

fb7a208f

Fixed a few sonar violations (final, hidden field, CONSTANT_NAMING) · 132405ef
leberre authored Jan 03, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1712 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
132405ef

Removed useless test (line is always non null because... · 1c16be27

leberre authored Jan 03, 2013

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

1c16be27

Made encoding strategies serializable. · 15cd1bc7

leberre authored Jan 03, 2013

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

15cd1bc7

Added missing @Since tag in setTimeoutForFindingABetterSolution(). · 12d38e73
leberre authored Jan 03, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1709 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
12d38e73

Removed redundant public modifier. · ec9bd59f

leberre authored Jan 03, 2013

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

ec9bd59f

Fixed potentially problematic rounding issue. Uncommented an important feature... · 64eefd49

leberre authored Jan 03, 2013

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

64eefd49

Fixed a few sonar violations (final, hidden field, CONSTANT_NAMING) · 88f87a1d
leberre authored Jan 03, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1706 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
88f87a1d

Fixed a few issues found by sonar. · dffb6cb2

leberre authored Jan 03, 2013

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

dffb6cb2

Fixing constant object name. · 2becc825

leberre authored Jan 03, 2013

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

2becc825

Making that class serializable. · a6c060e8

leberre authored Jan 03, 2013

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

a6c060e8

Making that class Serializable. · e86c801f

leberre authored Jan 03, 2013

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

e86c801f

Fixes calls new new Integer(int) · 66e314e4

leberre authored Jan 03, 2013

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

66e314e4

Using System.arrayCopy instead of a loop (thanks PMD). Fixed srcPos. · 031c4338
leberre authored Jan 03, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1700 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
031c4338