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

bug fixed for the criteria

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

cc8e5273d8dde942d2f0957395513af0b62a24bf authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Tracer to follow the size of learned constraints.

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

80d661a80eb762dbc9d9cae709f137258b7b8735 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed wrong counter.

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

d4bdadae8341cbc9425b250bb334ce967cd0852f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
using both coeff and size in tracer.

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

289f6fa6937a1ba6d7451098907e8fad4bc9e6f4 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated script to include pb code into the sat all-in-one jar.

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

9848364bf6eccc00cc045dd5f814e7edab65b878 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display only one information (biggest degree).

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

78a3777f0f97217c134191e7142f405a4551653f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display only one information (biggest degree).

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

407d723738cdd8da104d60f91e5daefb293a3f1c authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses gnuplot format for tracing coeff.

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

458d8820b4cbbcb0d6c48f1d9e32c09e970f1774 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
The sat bundle now also depends of the pb bundle.

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

bdb7544dc4ef8b32f55a369f6e84bec1941689d9 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added the possibility to fix the phase selection strategy.

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

5c7010ba75419aebebfe966af703aa22cc2fc493 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added commons logging required by BeanUtils.

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

ecf2d7f99acf47b67f7a77ab93297f178de8811b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Provides insight about the building blocks of the string configuration.

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

8dc1656b2408b34971970841e5f731a7552f236f authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Display one line error on stderr.

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

425ae55b9bce9b93e6bc7fdd134d7c7e0b4a8833 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Uses stderr for fatal error messages.

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

72790174baf7616e319e4d36b43aa1f6b8cec3c9 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
disable file by restart policy.

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

0f7df819bf81b3936c5e04700382ee1a89e093ed authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
disable file by restart policy.

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

d6144e15b60bd9ce927907efe1fe98093afecfc4 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for command line tracing options.

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

9435b0527d173ee2b8384dafb7aba34abc5a1cc0 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
No more arrayIndexOutOfBounds when no filename is given.

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

b678bd281911f77f60d427f9aab11c1362d0a37b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
No more arrayIndexOutOfBounds when no filename is given.

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

83af8bedd03b785aa7722afd6a33004369b60620 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Handle problem with missing filename.

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

0efb67629bc974f3698f83aa4890854080eb0ab3 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Get more informative messages in case of error.

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

4caf0446810cb48ebb6698c7ec77dae5570799a7 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
getSearchListener() is now available in ISolver.

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

34c56b8f7f2ff1d59bbce0f40190a294c5a02bb5 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
getSearchListener() is now available in ISolver.

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

185d12c5dbc496a0910860530a68cd040325de50 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Now displays the available solvers.

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

159cb0a6a89e61831fceac0282eab2dae380d270 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
tests for PBSolverCautious

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

13971bb7aae90ddb2b2984c05c2b9fed2b458233 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
tests for PBSolverCautious

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

9bb0d65d50ed55c86328c6e120e90feb1908447b authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
µRemoved non existing test.

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

913f24ef01de967d9b719ae58e49d7c1cd56678b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added ConflictTracing which is SearchListener implementation

switch between analyze by resolution or cutting planes prepared

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

3d500ab53d5edb12b79dd434bc19a4e15fe1ba91 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new method getSearchListener

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

eca55de438d44b01344a19c1a2db1ce22028b396 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
PBSolverCautious : Upperbound is a number of digits now

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

e11d6a5e2a8b4e5d3a5c7739d5a6fa87112d63fb authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added tests for new PBSolverCautious

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

6491bf51bc3e5c018df86febb1fc38526a3bf01f authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a new solver PBSolverCautious, which changes pb-constraints to clauses when coefficients are too large (during analyse step).

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

b5f32eb31f765f3972db8bdd36fd80ceb8c3b360 authored about 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed problem with duplicated clause detection (null clause returned).

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

d5043d49e19b6e94b0fbcc8274803390e46fcb25 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do no longer accept null constraints in helper.

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

46ece3aa559824da31c7fddf91b006cca76faf7c authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new method to translate a dimacs literal into its internal representation.

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

d08710e36a3702103afe9b3fa6423078451bed55 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed dotSearchListener into DotSearchTracing.

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

a5d04265201482eaf48413f7dd7cd0a5473254cb authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@524 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

e415f11acb5eec21e39fb62466447c20e04937ae authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
New phase caching scheme that auto-erase cached phases during learning.

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

3c9d8dc2faaba52d795b07e2c629b2b9571deccf authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reuse single method for external->internal encoding.

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

9d35c05ebaf0295e4577fa472436191bc8bc2897 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed former tracing classes (moved to org.sat4j.tools).

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

ce2d39ad006bad1d9b3121855375dc012d17c882 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added default tracers.

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

6837214822391e9da7d15862483d98b6d467f883 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new tracing information.

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

5acc40f3ca0ab02f71e9c17a55fc827d693306a1 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed Default tracing scheme

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

76f71606addc477bd3aecf982ef6f19e5380997b authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add new tracing capabilities.

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

1ddc3b1fad682bb1c6dc710f20df8101740860f8 authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow to randomly pick a decision every now an then (i.e. a Random Walk).

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

9d058c90147857858b158d2bf33075c19da468ae authored about 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the output of the solver (duplicated c (c c) on the configuration line.

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

473af05d9ab2e6cbb3268958cd41d25d9ae57d79 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reverted back code wrong committed.

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

8e5ac2e01de329d6753823327afb28e9d9862bdb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed message appearing when computing an optimal solution for Eclipse.

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

4f74e1865a870c7f5796dd4254b1736291be8487 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Make sure that contigous duplicated clauses are just added once.

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

7cd2e0f96ea74aedf18795a84b04f65633c43edc authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new tests to show up the bug of negated literals and the policy to avoid continuous duplicated clauses.

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

5a25b73a2809eead5a0ebd79543697bda08911d2 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed bug in the case of new variables that appear first in a negative form.

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

205d6abc67e96d8ff5cf871882c7dff3a982cf09 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added Javadoc.

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

6adb07710c93bebc9be6a50c0d13ebd68df269f9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Reduced to one unique class per strategy.

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

c8705e94c880f290fde15810f66339b0223d0639 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed Armin Restarts for PBRes solver.

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

4a1535cde7794a9e3bb82cee4df7d2fce84e4a0a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added license header.

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

c6ecc9993d917a7efeb6b21c5b05a6fdc8417d04 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added entry point to produce a minimalist SAT solver in java.

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

e2344b89d73d450a69d926e6b378a4a31283d2ab authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed performance problem when using nextFreeVarId: the vocabulary is at least doubled each time.

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

8807aff80bf01878f90dbfc9fb34e1ca72bcd014 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new test case for reset functionality.

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

1ceb7797a3c528e36348824cf271bc29edf1bcbf authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the bug in reset() method (qhead was not properly reset to 0).

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

57b548edd598aa54ebe50e3dff2220a1dea0d2a2 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated test case for reset functionality.

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

2c8d294b3f97cddc9d15e86c9c925e45f92b7ff9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Bug fixed : pure clauses created now (and not pb-clauses)

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

a9edca960f8d6544d197cc719fedc249158b8e76 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed manifest file wrongly changed to interval orders bundle one.

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

cabb7f9a552d8ca98f6e455eca995d0bd0169fd9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a bug in Solver.reset() method.

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

069f3b69429fb91d2cac709637cdd113263ff7eb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed reset() method.

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

3199151965d1a1b86952ebc06186288d8e864541 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated random problem generator.

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

312247c29788e33591fcf0595aa0ca5a69561b10 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed comments.

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

20808364a71596935a515e94a6119ae2bceed9fe authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using CuttingPlanes based solver for that application.

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

2102c95c3c081e532a174463d2edd63424cbb6b5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for building interval orders tool.

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

64e9c7eda51b1d4078b927230f3c9adb440ef38c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for PB constraints.

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

f18406c8d3dcd03102f9fa043dd28e2e8070792a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for PB constraints.

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

7c83c2a5f21deb0abdeecae53eee8c39d4809ba5 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added support for PB constraints.

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

cd42fe76980ef5eae79483570e35bfe752c2723a authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added classpath in manifest file.

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

f9be1190c18977e5ca8f1f380e3ace47f360ed41 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a timeout of 10mn

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

1a4b465cdbb526a8c20a105a4bfe351fe55f941b authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Use Armin rapid restarts by default.

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

065e39cb46c28ee09bc1075771c0e68109a4e538 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Remove cost function constraints in case of timeout.

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

1d3cd7c45005153053dd7bef333e3f8c69cf7342 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add a message when a new solution is found.

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

ba1fed1ccb6108e915e6dda7571e14dd387e2636 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed message displayed about instance specific constraints.

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

b6c901699429fc63d50f075fd6d65f41d80e9df9 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
add missing resources directory.

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

36218e80ce8dc9f4adeae9cec90d4825caa640bd authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added manifest file.

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

8e71bb825cecdf255887f5d08d74659d8ec1e357 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added manifest file.

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

8db1417452164175971d80c9dec2d8c701e75773 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed project structure to maven2 one.

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

94b95e0a2c5f667ede3f83dde15ebdf0380d7578 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
changed project structure to maven2 one.

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

635baecf55a20d52f0526cfcac6bff304fb5e7d4 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Add new methods to access the mapping.

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

2751e1eb04d496e53ff60542d74c686c9047cabb authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Disable explanation support: the code is now much faster!

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

44f0d9e6d7c274194a85e79b4a9b4c9f8070947c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial version for the paper at ADT 2009. Random generation model improved.

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

16b4e29f8033527c57ff937379e7165ff446550e authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import.

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

1f23442d04a37f02b4adf2c7f527b51e41bed985 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Bug fuxed when learnt cardinalities were removed

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

63387356cc3d3083718e66036d4ecbf1cb2a63a2 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed Sonar warnings.

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

e5f435a9669e637f5da92104d0298983010b57f0 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed Sonar warnings.

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

3e77005ea62b558e22ce6a6f953de8aadf1ff8d0 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed Sonar warnings + added save actions on project.

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

83ab37697da5c85f2a065a9c0a8d468b17d66c9d authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed potential problem with bigint degree that might not be equal to int degree.

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

aa99d21b0630e194617c205c0524078debda0bd3 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added PB09 test cases.

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

b24a3f4cebe1e7d3d79c62a51d930a42c07df9dc authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
createClause now creates PBClause (clauses that can be involved in cutting planes)

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

a447d71c017d0a34b8eef7369f293b2e77737ac1 authored over 15 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Updated pom (2.1 version). Disable tests with timeout.

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

49bb648906a2f65a9fd0fc79a9fde84cd832050c authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed the missing methods.

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

47f52b556688653fff4801392c6c76c250c3b4fa authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed new constructor for DotSearchListener.

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

c05ea1444d3c4e3800f90c066658e98c27f0e302 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Timeout is now 60s for each test case.

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

c89c6c68ab70bd01079c029efc1faabc5d5de4d4 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed InstanceReader. Changed into OPB reader.

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

182fe39d1e651c2c9497d062ce4e32b84c2637dd authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Allow the output listeners to use the dependency helper mapping.

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

64748af0d69ec356131ce1542aba50d1aae1ceaa authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed timeout exception message.

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

4a00db710755b803ccd93aeec906c4c838032fe0 authored over 15 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>