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

Don't bundle web objects in jar, add build workflow

e7e39982716a3200abdfbb185cd9b4334aef74b5 authored over 3 years ago by i509VCB <[email protected]>
About certain bumping gradle and setting env won't make publishing work

2cd5a8eeae30be852813a1d590263de4e0a395e7 authored over 3 years ago by i509VCB <[email protected]>
Include the partial boolean lib in builds, and allow removing constraints from a DependencyHelper (#1)

* Include the partial boolean lib in builds, and allow removing constraints from a DependencyHel...

4ec8f8d747739798c0b0f90c2e1878f0f6f8c3de authored over 3 years ago by AlexIIL <[email protected]>
fix typo

0e2248067b94ca61b8b98f040f51f0aa233aee0d authored over 3 years ago by TheGlitch76 <[email protected]>
Use jdk 8 for building because sat4j is on ancient java

1fad24a7981e3a1a143285930b63ffe2c3c5c1c7 authored over 3 years ago by TheGlitch76 <[email protected]>
Rebrand to Quilt

f2951d79f3ba1a4661df15a7342b46ed7eed7aa0 authored over 3 years ago by TheGlitch76 <[email protected]>
[Fabric] just keep on trying fixing the buildscript

d7074cf37f68e46b2eef108ca69b54883c4ed37c authored almost 6 years ago by asie <[email protected]>
[Fabric] fully fix Maven upload

e4242b3ff7ba6959c1400e1118cac3263375bc56 authored almost 6 years ago by asie <[email protected]>
[Fabric] upload the correct artifact

5e6e5b02bfad12fcd41244f8a2c7731c008e1090 authored almost 6 years ago by asie <[email protected]>
[Fabric] remove parsing/launcher logic, as we do not use it

76e6c904b5cba2296d157972d72965d96c767826 authored almost 6 years ago by asie <[email protected]>
[Fabric] add Gradle build script, Jenkins file

5ff389708872e899ce6f7280b005dda23d64d3e9 authored almost 6 years ago by asie <[email protected]>
making source code of Sat4j 2.3.5 visible to the outside world.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.ow2.sat4j.pom-2.3.5@2054 b...

170d1dcfc024be6808b3173396585b302a81652c authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added fix for SAT-107. Updated version number to 2.3.5

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/SAT107FIX@2053 ba638df5-447...

b24174c88536698f55a9d0cb13e0278bfffd857c authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
copy sat4j 2.3.4 tag to create sat4j 2.3.5 tag

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/SAT107FIX@2052 ba638df5-44...

d251bf8056ccb71f4c62fc5e99f8931f603f1a14 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.ow2.sat4j.pom-2.3.4@2000 ba...

e99c3f264d37afff789e66bb378625684944fe2b authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.ow2.sat4j.pom-2.3.4

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

cc4e7b8c9616aff6f310a05fd114802ef0bfa9c5 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed a useless private method

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

4ca2f5fd7cdae4d0ab29a4be87663dd0dc691ce9 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added an interface for backbone computers

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

e3598e75eec74bfe7c6966cf313c62d7b04182f3 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved UPL from minisat.core to specs package.

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

0ba366193974dc768ad16244ecaba2c280f6dbdf authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved UPL from minisat.core to specs package.

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

0d5002d9f52e566b9c59b077cd988014e56662e8 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed statistics about imported units.

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

39afaf5d740ee349ca2e05baaa26aa6049adf2e8 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved UnitPropagationListener from org.sat4j.minisat.core to org.sat4j.specs

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

6c83fd7930d32891ed4773a4d3a99ac30fbb116f authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT-101 required on reader: the IllegalStateException is now launching a ContradictionException.

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

4ccafa7b26e7852ce9e6ac39b4e9237c4a496392 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed a class which became useless

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

50352dc1fd274a00eb998d0b769c017498bb3d74 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added message on the console to tell that a proof is generated.

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

5737433881666babd119bf29b5b1e37dbab3e224 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a parallel solver a la manysat for eight cores.

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

17689eb4d0e56b7cf3b369794060339fd1551227 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed import of unit clauses.

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

c749d9c3171afc6af8ebe9b8e4df0cc5ba2d7b3f authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added statistics about the number of imported unit clauses.

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

308b9f3c2b822dd2abb34971226b796088244c81 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove unused field.

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

df9fc1e68b268aacee5023d80f41a6f76e15f45a authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT95.

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

9d8fbc9170f3536dd208e2f2e90befecbcf1feda authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added test case for SAT95

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

3b1d27faba39c84d286fc2baa71e98d1e9be0fec authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing method.

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

6c383e16d38a345584abe9232e9036f26bcbe8ce authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed debug messages.

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

0be1b06e6c1ab05a787d2069f1e9fd1bafde721f authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing setUnitClauseProvider.

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

53cd957a00f904fb0bd7ec45111892aa175e5552 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Potential fix for SAT-101.

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

1230b8c4fb6c78b3b49a6588146fc1cd15454b29 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for sharing unit clauses in parallel solvers.

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

ae3b5ee690d35eaa940ec0b788d1d93696c0dc7f authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new "learn unit" event in the search listener (see SAT-100 issue).

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

c45a2b0fc605c01ddcb71303d4b6d3b446292824 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implementation of SAT-99

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

8f90c3c276b15454ce97cc44740f72436fb06424 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated copyright date on console header.

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

4ab609fba7ad9641c59b42a20e56a2d65e023f53 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a call to the search listener when a unit clause is derived.

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

cb4a199b69c309b9799d1f9485976b8d5b48ce36 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed some glitches in displaying available settings.

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

9eef6cca1ead8ec28ac989cfe6e28fc1394dfc3a authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated lexico helpers to use a more appropriate interface to be warned when a solution is found by an OptToPBSatAdapter

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

c929fc455229d3c9c01d718ff0b864755f716782 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
performance improvement, log improvement

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

6f4dde42858fe8e98b6e78e410e730d6cfd4e47b authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added forgotten license note

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

f3e7b3c3a2ff8686276ce52287ecc5ee84fe2369 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug that made LexicoHelper hasASolution() method return return false in case a timeout occurred even if a solution was found. Did some refactoring, too.

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

9ee785f454f9bd361d89bcf7c622a8ec20cb2708 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Call to modelWithInternalVariable

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

e09f2a676528bff61a0a16fc5e5d3be73a9ec7ad authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Overridden modelWithInternalVariable() in LexicoDecorator.

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

04ed1e9bf7c09284fa9df1d31502bfdcb406c976 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed visibility of some class in LexicoDecorator attributes to allow SteppedTimeoutLexicoDecorator to access them

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

e05045357378f6282d455ba5e9796be3af2e0666 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a Lexico Decorator that allow timeout to be set for each objective function instead of being global. That is, the solver might not prove the optimality of criterion n before optimizing criterion (n+1). In this case, the optimization function of criterion (n+1) is replaced to match a Lexico optimization between criteria n and (n+1)

For now, the timeout are the same for all optimization steps, we will soon provide a more complet...

d53ea3b531fc83df21f3bc3eb44659aca6df1387 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Did some changes to improve CLI and scenario reader

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

fc2581dd18aa63bb01b613ec2db42b802b479bbe authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Did some refactoring and provided an executable class to read "assumption scenarios"

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

aee08c0336291cacda0bcf8efbbc0e773bc9f8eb authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed a bug that made a solver display comments while not in verbose mode, in primeImplicant() method

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

823878486b059375aeb3bbd57b37005ac117e577 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified several classes for the Aralia problem to be encoded using Tseitin transformation

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

9f1afa6810dbbf93c6f82c6f2d073554e134ea11 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a task to build br4cp archive.

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

cf0a30ad8af9bbee1db0b8ae721284506e32b6f9 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
First tools for BR4CP contributed by Emmanuel Lonca.

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

586edc128a9c9f2f0693778867c18cd1f7ff60c3 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated id references to org.ow2.sat4j instead of org.sat4j, to allow deployment on OW2 nexus instance.

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

0638ed290535613c501198696af5b0d137ba6f23 authored over 11 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated LF Converter

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

71fa32c3827b3f0e97100d0f4259d692fe36db1b authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated LF converter

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

82bbb00fbf2aefef9935799800903c38cc0afabe authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new class that will be used to translate logic formulae to CNF using De Morgan laws.

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

0435204b94bd676715dd109d141b80d18505a2e5 authored over 11 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a call to the solution found listener unsat case when the optimization finishes normally

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

b70bbce4455ed47b8baad310e34aeab3052d80d1 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a possibility (via option "B") to launch both external and internal optimization in parallel

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

379355d9011d1639662af5c84b13845beb6c4b68 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
modified the way OptToPBSATAdapter is performing optimization. The optimization is now carried out when calling isSatisfiable, no longer when calling model. There will be some consequences for the users :

- currently, when the optimal solution cannot be computed (timeout raised), there was only a mes...

a0564b37cbc7acf1b1b444bcdd7ccca2c3c5ac3e authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed an assertion which is no longer true because a clause added on the fly, once asserted, can satisfy the literal of the clause derived by conflict analysis. Not sure if we should avoid that situation or if we should make do with it.

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

3f9d751922052cc824e45e8d2dfd20d8216d7823 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
assertConstraintOfNeeded just calls assertConstraint: for PB, there is no difference between those two methods.

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

076d6b26e1639ff92e67830dea1c642ec39ff288 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method assertConstraintIfNeeded to implement the specificity of asserting constraint added on the fly.

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

196c9af1280f48e91889d584b6972caf084d4af2 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented assertConstraint in MinWatchCard (required for addXXOnTheFly).

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

0ad8a9ac4673e9f68397ea7c13ac49964d3e059a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The solver now asks the constraint added on the fly that it should propagate itself before the constraint derived from the conflict analysis is propagated. This allows for instance to solve the issue where card constraint \sigma xi <= 0 is not propagating all \neg xi.

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

7c43769f0ff22471700eacc4375daf838a4ba15b authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed pi in maxsat.

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

063cf69d812049c49bd13c03ef54f8bdf4f0409a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed pi in maxsat.

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

196ac83ef5e27456088f4e80f8be3bd76e8bce1e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed subsumed constraint removal from PBSolver: the code is now in SearchOptimizerListener.

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

b9563be7902dccfe13efef86f3d0da21210209b6 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove subsumed constr inside internal optimizer.

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

3abcd46952950380f149af1f3c9eee246f1229d4 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug that made internal optimization incorrect in case outReason contains last decision level literals which are farther on the trim that last decision level literals that are not contained by outReason

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

f4d3e602728962562dd89b456ab5b2d9d7919a74 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug that made internal optimization incorrect in case multiple WatchPbLong literals were assigned at the same decision level

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

38db68ba8fb3226801c6ad18aa01375fbd1a0eec authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added ow2 pom as parent pom

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

322571df71c6edb378a1d76bdb88b9d4940bb82b authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
displaying solution found counter at the end of the optimization process.

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

a2ad80ecf1592936b70df4eed8c235437ecf6dbb authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix for SAT-91.

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

b8eaab8712f4bd3f1f8fdef8ea957d10175f9f3a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test that highlights a bug in the maximality of MSS computed in AllMUSes

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

401a1a590f8b9e22550c6df4afec29f4d427af70 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
properly implemented fromLastDecisionLevel.

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

b887486701cfbd1bed0215028a46baaedf93dbec authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Should have fixed efficiency pbm with WatchPbLong.

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

9798e243298d73e81ab9ebacbc5e0b9f66eee9c1 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed efficiency issue in contains with addOnTheFlyXXX methods.

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

73cf398d9d665cbe0b9ee3d984f398fd15e74a24 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed efficiency issue in contains with addOnTheFlyXXX methods.

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

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

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

7be29fe7c4e2043d895290697f08fad6a266844e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented calcReasonOnTheFly

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

72df021d989257943c82e0e6c2d519b3eabb0bc8 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses MinWatchCard instead of AtLeast when creating card constraints on the fly.

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

4a0e4357de3285a679571cc343c9e00ba2528983 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
implemented method register to allow creating constraints on the fly.

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

856c86ee3695920041b2db21154b795254602a48 authored almost 12 years ago by leberre <leberre@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@1915 ba638df5-4473-46d1-82f8-c...

1f28c4b2212ee16ffd188bb30196b41279e1f72b authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[maven-release-plugin] prepare release org.sat4j.pom-2.3.3

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

6994f20ef245e317d5f6fbc6afdc28873cc60e25 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
remove \r for interactive display of the number of solution count: to breaks proper output of intermediate solutions in PB and MAXSAT.

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

c4367704236205da1ccc96d3a991c63f542b6193 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Avoid NPE when undoing a forget.

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

a8b20a7f8c28cba406c94674d4ee6d4259250032 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Avoid NPE when undoing a forget.

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

18b582a838d32f55fa9511c67fccb700f3b20619 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed a useless class member

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

c386e5cb255b4121f7df1ea1ba4210ca37c58ce3 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed missing generic type.

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

8dc163eecdc0ec6b3547b4fabbca483cd0b89be3 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused local variable.

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

e97881ab41fc4be95007b31d33bba92df5948319 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused local variable.

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

a2f02c87175d5dfe43670e4f05a55df76a96fb22 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused bestmodel attribute. It looks like that bestFullmodel is not really used either?

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

5bd0b03c14f548a29838d110f0561514a5652ee3 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed tracing from PB launcher.

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

82ec58333bc3b5c1d29b982ad56921805f81d5ab authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Taking into account the polarity of the literal.

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

cdc45631cfe1fee88fa994878e016bcd07d72f5f authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix NPE: call super.model() instead of model().

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

9fc7ce967b0746364fa9fb7f50d488e6e336e5fe authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Should have fixed properly the use of PI for displaying solutions.

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

db0eb710f64db4769c5f430f0c39e1827be1052d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed generic warnings.

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

47656c5f687a0bef2f699506e1751136ba6fb608 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>