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

Updated test case with new SolutionFoundListener.

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

adc1c04452c3f52bfb5dcbfcea1760045072cfc1 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a SolutionFoundListener to the SearchEnumeratorListener

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

4732c0a75e00d9c40ec6da9d6ae86ca60012238e authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue when the formula is already in CNF.

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

5ffda6b45e3269c0f6cf20113f124defd3763043 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to create prop variables from any object.

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

9fc11e95651fb647c48f06ef8755ff1541324467 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added generic types for the boolean expressions.

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

6bf9cfb657357570ea11ad1b5b0e804ba4987e64 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added solver selection and support for cardinality constraints in AllDiff constraint.

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

9db57daaaab52aebfb033feaf3644f7cdee35584 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed leading upper case letters from functions.

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

36bb3015bff3c58a23f80137fce085738ef3c7ff authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added isValid to Logic

Corrected a minor error in result display in isSat

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

f0ad24ad5acb30f964fe61d05e3f9684801991b1 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed object to class in Problem

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

d819bc137d3c130e890bf98a50d41e510e1f6611 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
First DSL

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

0571d6c8a872ff285d039713630a24c970f5acb8 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
ISolver to IPBsolver adapter.

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

4fe4e4a8fc7dd8f1564e456f39560c8253e73381 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added default clausal encodings to the policy (sequential and ladder).

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

9a159ec3ec5503fa2a20974d24a677e39630f896 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated test case to include implied literals computation.

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

96ed5ca3a109e70aeb5b2b06aaf452dae17a97f2 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added implied literals computation to dependency helper for Emmanuel and Arnaud.

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

bfd01a95429d12801891f18131221efb4ec6027b authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fix to take properly into account assumptions.

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

45f4a829f5a7bf803dbeb630e21e999516de59ab authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Better message. We do have a problem: the launcher cannot be killed when computing a backbone because we are on the exit thread...

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

42f45c4ac5e992489a4b1ac27634216b284d67a2 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added second improvement from Joao's ECAI 2010 paper.

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

1852ef3abea49b994f71bd5d00377ca8d17511d9 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixing non utf8 characters in file.

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

ffa5e42be5be19a7f4bad53afaaacc16a6df8d61 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the launcher to display the backbone of a formula using the -Dbackbone=true property.

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

f2fcf98de407a793640f26ff3ce0bdfd32918b89 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
A few test cases for the new backbone feature.

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

7e5ec9c09a94f46deda393309a93de4a4ecce672 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
First implementation of the backbone.

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

1deb44214feb48be5009956edd573e64725edf19 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed call to deprecated method.

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

9a5d1fbbdc2406c44cc5b8e5999fb26128772e64 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added/moved license header.

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

bb425be34225aabfe5ada23601fe56d6773c8709 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Test case showing an issue met by Emmanuel.

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

bd1f9f08f3e2a32ea74879e77b302f5767468c94 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated class to launch an exception when the formula is unsat (then optimizing does not make sense).

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

54ace05c7b44a605cd5f632acc39ba1088d565a6 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added references to JavaWorld

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

070ef7a7749249fb68f2d36b6f02ca8403a57410 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Sample test case showing how it works.

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

93a3a57fbc0d1d7a6d0dc15b0e61c6be6ae68c77 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new class that allow to compute counter models.

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

99308df685be7c35f7ad16e8669eb96cbfb477ed authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created CheckMUSSolutionListener class that finds out if a given MUS is a true one or not. Added two test classes : TestCheckItIsAMUS only tests that the MUS verification is fine, TEstAllMUSesAndCheck checks that all muses computed by AllMUSes are true ones

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

d65a87a60a7d3671c6087d13b22d905d4c982e83 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added call to SolutionFoundListener listeners in AllMUSes computeMSS and computeMUS methods

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

4085fd36322d2123f4ed85d61315672c85757734 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented code in Minimal4InclusionModel

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

a757fe1bf96d867bc68493cf5b3d28afafecc679 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do nothing when the file has not been read.

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

8a7247c147873a8dcca5b1452f8cb94d8f62acc0 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed AllMUSesGroup => should now use AllMUSes class instead with boolean group equal to true

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

91dabeace16c7944f3474e9bd15ef3c52fe797bc authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed ModelListener into SolutionFoundListener.

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

25b58a891941dfce1318dd32cd12aca95187f966 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Divided computeAllMUSes into two methods computeMSS and computeMUSes. AllMUSesGroup should no longer be used -> use boolean group of AllMUSes instead.

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

943d63221fae16d4f69ce31f0c2140b124316c42 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Delegating calls to IPBsolver methods to decorated solver.

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

c9162509334a864fbda7178e4951a152d897b333 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed some internal variables.

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

f4757384237018d70f674bdf0720cbedc5802216 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a ModelListener class to allow the possibility to the end user to manipulate the model found by Minimal4Inclusion.

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

2377015e2607569584d50d66b1b454df761a3ecf authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added header to classes

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

47c540857469f18d9e5c900f5d311ebdb6f07bdf authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Classes that compute all muses (with and without groups)

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

049fa1df55178ff345215eb048fc291264522a0e authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified Minimal4InclusionModel so that it now takes into account a set of literals on which the minimality is computed

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

224a6caaa7251654d323c97532ccb2154cf3abec authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Created architecture for clause selector solvers -> modification of Xplain classes

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

618e226972fb634a3534fd35ccb91f38e8981abe authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added tests for the computation of all muses (with and without group)

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

560d0c0418f0a59fd8a2e81d640118cf0fd45657 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed All Muses classes from maxsat package

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

9e9df593fb5367397589790346e04cfccea5b889 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1536 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

3f2be095c8d8d5dd941d9b01c0a65e4f9eb9be0b authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed fake solver from tests.

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

63ca25342c6bf9c6574fac90d743543e89d93310 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added boolean isFullName to the parameters of RTSI : it allows to return the classes full name instead of short ones (default option)

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

2851a0734d4384b85f682fbe3dbd360e4b95374c authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added tests in TestAllMUSes

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

e19a83bd058d3a5e3fa5e8dd4c5d5cc7b1301d70 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new abstraction IGroupSolver

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

c8ebaaf247e3ca11629ad557d2dbed2ab63a18d0 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with launcher.

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

bd8600e51ca6227479b3f94e22174be460d456d7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing header.

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

960662961d884cf920e7b9a65380232981cd8f4d authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
remove calls to deprecated methods.

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

ae89b723beea086b865f03e16d356898dc9b9e59 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the information about pure literals.

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

f59f01a650b58a033ee38d1cfe2ecd59ed936f3a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Started to treat SAT-2 Issue : the class AllMUSes computes all the muses.

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

0f3b54d0eb6919870f70c7f7a595c0a6cb2673b5 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed output.

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

3ba13b0f8fa4eb2ad671c743ff0eb1656cd63ce4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed output.

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

1979ea17c24d64af1ee0fad589e506545e62ddf6 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added first version of the the statistics for TUPLES.

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

4bf556f5b2b3d294508bc8ac273ad79c2dc6f7b4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
set the problem field to avoid NPE in pb launcher.

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

1bedfa8aeb9886a146d5d7a7c88517615f93edd7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented printStat().

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

28bafa4f6f16841f543a37a8934da5df513149c0 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added ResolutionGlucose21 solver and made it the default solver.

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

e72a9316acb8fc3266d53885bfc11765ab6a6acd authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new solver using Glucose21 restarts strategy.

Made it the default solver.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@15...

c1ba5918cdeea2e6111623e4d5c0fefab17eef3f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
save the activity (actually LBD) for new glucose restart strategy.

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

28d5aa80cdee8e5d73e943b0958aa1fa861dabd4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added Glucose 2.1 new dynamic restart strategy.

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

7188adade45af5d938e6048d0ef70c38a1ce5e3b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the issue with -n parameter.

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

cc686e87b758c006325cd3ec24dade521aee5f82 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Deprecated two methods useless now that the solver contains the log prefix.

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

3feb4685b3c5aea3da1ab373b04f4cbc5dae6e80 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated launcher mode to contain exit code.

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

db69a9a7e9dc7216bd8411eb06167be053b0a7f7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Exit after displaying usage info, to avoid the information to be repeated twice.

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

cbe6f4aa66d3923735704f4a2c41ff8553f5a474 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed the class FixedPeriodRestarts

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

cd60100d092ee60034f57d04c1e4404ec7039a47 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added toString() method. Renamed frequency into period.

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

e5b1d152b4a5a67e5af700d6fd99c7c68c6771b5 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issues with side effect in createReader()

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

8b367a22e80cb13ef1d70596451f7d37e3216e79 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made "pb" as default library of files ending with opb in satisfaction mode.

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

015ef6be2394da0b8057924f67e5d4c2d5443432 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add a new restart strategy: restart every fixed number of conflicts.

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

e6d76d85afa441c8fea9725ed5003d35d8f5df1c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected label mistake in DetailedCommandPanel

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

ad6391604d7129c99c9533b867e2d925bb3e5b04 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Method toString of Policy (specific encoding adapter)

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

b47272989799ade7b0c32117a3c9f2bdc7d4a198 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated remote's look

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

1ca15051f38fa38a693398f05c5d686902094261 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a default selection when launching the remote control

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

9e182bea432de4e87df7ee95511af5f811cd411e authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remote should not launch an exception when a Contradiction Exception is caught after parsing an instance.

Improved remote look

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1504 ba63...

fb02da05795394438d8bdfbbf511fd890a73f29a authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
corrected cast mistake in DetailedCommandPanel for maxsat instances

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

2d77a8ba9db08e3e4b20be3f88555ce4999e952c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
updated sat main class in manisfest file

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

b357f026fb6672f20bdf7242e6720cf7a9315cfe authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated main class in org.sat4j.sat

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

1c8c24b03c6f8db65ac5d4aeb3bef79bcd17d7e7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added dependency to maxsat in module sat

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

0a8dcb1c04b65bd0d6d548d1cef34dc6c44e0c78 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a toString method to the enum

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

165a805183f1be92af3b22804ea3562221cada21 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
ClausalConstraintsDecorator and possibility to choose cardinality encodings in the remote

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

13a4c3af2502a07d8777587541a6eaca9400f466 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed newDimacsOutput() in pb.SolverFactory (real commit this time)

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

f68d44e6b1cb3f458ec24261a121470998ec3344 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed newDimacsOutput() in pb.SolverFactory

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

1c1d2380b4e7fed5393b96b7cd40085feae16c3b authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue when the solver was set to null (to prevent memory leaks).

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

8143e33f2c8c3d487088489f2ace8926156cfff2 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
set mode debug to false in order to have a lighter trace when building :)

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

47e264a6855cc9725c1458196045b786fc05daa8 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed unused variable.

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

c199bc5bc5b60d32405887a5aadc5932a63f25c3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved call to setLearningStrategy() after the dataStructureFactory has been set.

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

5c39ce5371e26ab6413dcf89fc7c4b8995100e35 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unnecessary methods and added NATIVE to the Enum encodingStrategy

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

6d660dd38761695713b2b691b60bb6904846b463 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
ISolver.setLearner() is now renamed ISolver.setLearningStrategy().

The method now includes a call to LearningStrategy.setSolver(), there is no need to make that cal...

acb6a0ebe786c2190f2690c8a33a7b6139d0cc5f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
ISolver.setLearner() is now renamed ISolver.setLearningStrategy().

The method now includes a call to LearningStrategy.setSolver(), there is no need to make that cal...

4b7c2ad1106d7fcf54a85a2b3da03fbf022bde98 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1488 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

3e8cdf015e93db46322e2249f78e2e0542b58818 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified DetailedCommandPanel in order to be java 1.5 compliant. Started improving remote look.

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

6c639c6a479bc37c80efde819a1f897755622fb2 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Now possible to launch a maxsat solver with the remote. Caution : this is a first version, please report if any bugs :)

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

90a5728fe2c5f4efbf95963f7eae6ff145ea58c0 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method that allows to retrieve the real engine inside a bunch of decorated engines.

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

eadee1d83b630fda21dcc8e4ee5b0a4a97eb578e authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added remark on the reset() javadoc.

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

312c68eb3ddaa16c973212d543f24aa1066d23fc authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new dependency to maxsat.

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

713897d5ecbf3962d595c9032eb219bc55dec5ab authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
removed restarts and added simple simplification to UNSAT oriented solver.

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

01b5559f2814570dca162427acf01f5a27053740 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed duplicated code.

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

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