The Quilt Project commits | Ecosyste.ms: OpenCollective

Use hole6.cnf for the tests instead of the non existing hole5.cnf

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

github.com/QuiltMC/quilt-loader-sat4j - c4ba34fd964c9274e4663754293e0eccf71fd42f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed hole8 from test files.

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

github.com/QuiltMC/quilt-loader-sat4j - 369b3fd8fd12df98ea9e57998b5d7ee647425dd3 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Use a simpler test file for all solvers.

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

github.com/QuiltMC/quilt-loader-sat4j - 596fb2aa17d6161b2ee4584955dba9a3f7fc78fd authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Reduced timeout to 30 seconds.

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

github.com/QuiltMC/quilt-loader-sat4j - 3df3da80c2f6af302bec84274da7cea13f770c98 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed GoodOPBReaderTest. Updated pom file.

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

github.com/QuiltMC/quilt-loader-sat4j - a31a4124bca589a55998cac1224802f178d525b2 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed reference to Solver.newVar() in GoodOPBReader.

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

github.com/QuiltMC/quilt-loader-sat4j - d090e95034238e6e8c44dcd8cbc4d32eb3e98d48 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed test cases to get the right instace reader (managing OPB format).

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

github.com/QuiltMC/quilt-loader-sat4j - c460955e184cc150c94192677e603a2df701b2a7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed references to junit.swingui classes.

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

github.com/QuiltMC/quilt-loader-sat4j - fea3d8739a741ed5350cd14b26d06c5b6aecfe27 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added test files for sat4j core. Moved release to 2.0.2 in pom files.

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

github.com/QuiltMC/quilt-loader-sat4j - 9b7fd64e7ecbbe5957b577c8606e5145485638c7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed array initialization using capacity() instead of nVars().

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

github.com/QuiltMC/quilt-loader-sat4j - a0511186f7acc66ed668fe08abae417205199ebd authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed Exception stack trace.

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

github.com/QuiltMC/quilt-loader-sat4j - ebaaaf202456aed708795b1e2c053284cbee4867 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed test.

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

github.com/QuiltMC/quilt-loader-sat4j - 93dfa25e9f654a5f77bdbae4a44c2573d844b678 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

ignore init call when the current capacity is greater than the one given in argument.

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

github.com/QuiltMC/quilt-loader-sat4j - 7f2464a55c82fee32e58154741f88e841359663e authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Improve error message.

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

github.com/QuiltMC/quilt-loader-sat4j - 437c6266ceb183246ab32d899185b1b9f65ceb55 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed Luby function!!!!!

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

github.com/QuiltMC/quilt-loader-sat4j - 4a8b49bbd05d18b7481c62b8bfb511153d0bfe39 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed @Override annotation problems.

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

github.com/QuiltMC/quilt-loader-sat4j - eba15a02c98620e790e07f65e6d95de66eeebba1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added Javadoc comment.

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

github.com/QuiltMC/quilt-loader-sat4j - 16209d196f3a38bd24cc743342ae27cc16acb5ef authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed assertion since the method will be called once.

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

github.com/QuiltMC/quilt-loader-sat4j - 5cbcbe9f72f958b3a55f7dc6ed0e1ab17d7805d8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added a strategy to disable restarts.

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

github.com/QuiltMC/quilt-loader-sat4j - 2f7541e0ad2b5f28986189ab6060fd198ae16919 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Update pom files with release 2.0.1.

Improved description of the projects.
Updated developers and contributors for core and pb modules...

github.com/QuiltMC/quilt-loader-sat4j - ff39700ffa66590bdaf0dfafcb46b31aabd3dbf1 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Replaced wrong UnsupportedOperationException by IllegalArgumentException.

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

github.com/QuiltMC/quilt-loader-sat4j - a2323fa4d737287a084b7867cdc326ce9bafd423 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed link back to main project.

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

github.com/QuiltMC/quilt-loader-sat4j - d9cd12912d8099775bbdabd9cd06e8dce4047391 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Added custom Javadoc rendering.

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

github.com/QuiltMC/quilt-loader-sat4j - 7c92758f0e2dc5289ad15d8cecd99175e8cc72c8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fix allDifferent and alldifferent names in XCSP 2.0/1 formats.

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

github.com/QuiltMC/quilt-loader-sat4j - fcfe963d662a3501604090cf03c87f4c50915503 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed management of unknown global constraints.

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

github.com/QuiltMC/quilt-loader-sat4j - 9cfd862a6d69a84d1afbe3a58f3c3b44f39f9cb3 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed schema for 2.1 format.

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

github.com/QuiltMC/quilt-loader-sat4j - f80422918f424741d10d298210ae6965e9466867 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed command line management and made log method in AbstractLauncher public.

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

github.com/QuiltMC/quilt-loader-sat4j - cbf66d82872bb57e63bb8bf6aac555bf32f353a5 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Removed unused final qualifiers.

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

github.com/QuiltMC/quilt-loader-sat4j - 1ac86ac9177c5d623fc4c4321b150d14e2b68daf authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Moved code from default package to a real package.

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

github.com/QuiltMC/quilt-loader-sat4j - d33965ce6e7d174ebd9d7f058313f40d53b7cd7a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>

Fixed javadoc.

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

github.com/QuiltMC/quilt-loader-sat4j - 2eb18d4bfed184fc87e238eef5150f124219f713 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>