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

Fixed javadoc.

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

2eb18d4bfed184fc87e238eef5150f124219f713 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

5d7bbf1e4b10709906bb0660940610520ef8acbd authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest file to component root directory.

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

26e20af9bd162b50204bededad09df1ef22fb248 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

adb025a85c58f402a2d1e47f0fdd72f4bbc06f8a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

1deefb02e157e3194d5e77ed4d65e19bd063b0da authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

316b4237778262b6568bba3ed0a8c5127f8a92f6 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

cddf93b4e9991e939c6411605600927b1d259025 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

7f1aab0a2c81ae8e45cea9d8e3c58c04e47e76c0 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
moved back manifest to top level directory :(

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

fc5d9761ebf534847f24b4d1c799f27f10c0d603 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed JavaDoc comments.

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

a71c3137f0d5286924936ed95137807be8c77d77 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed JavaDoc comments.

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

58888c5c961205c74d0a03fcc954fbf090c51224 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed JavaDoc comments.

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

8376f8af067a80df737b624a4fa91b325b19d0b8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved manifest directory to src/main/resources

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

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

38a4e0b497a894247e14674997bca1aec77d57e5 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved manifest directory to src/main/resources

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

091c4f3e967cfb258f51b3bb61e9bcdafae3f5d9 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved manifest directory to src/main/resources

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

a076fbba8bec62606c26cc85e5e7fe0882695de0 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved manifest directory to src/main/resources

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

718dea2808889117d9e3e0404cfb05c6a04eb859 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
made csp.xmlparser a bundle.

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

e0c2d918c784031f47dbe8201d0f39c47f3084f8 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
made csp.xmlparser a bundle.

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

f434f3d974a7fbf6c46969874cb7ec12bc6a4ff7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a rule to use hand made manifest files.

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

2d1dc5778dbda300d5fe19453c84b63ea3f4bb0f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Moved manifest directory to src/main/resources

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

ccba31f424a16759ee1d292a0a0ab5c70bb6cbf7 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added csp related modules.

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

0061c7582d9226e8fd674eb642f762dfbfc6a33a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added dependency to XML parser.

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

bf866603b6bb2e712ec1f24c92c6b17e269b43ef authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import for the XCSP 2.1 reader.

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

ea40794ab41051d8d9b8a2515426e780f3533a03 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import for the XCSP 2.1 reader.

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

f1d545a1285ac2688e0bb3c70be2fab89afdbea9 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed pom file.

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

6fc9dd96eaef7bbd6e799540e6b65bde21aa32cf authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import for the CSP solver.

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

2351e5d6595999a0aa5bf234834696172fffc40d authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import for the CSP solver.

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

2169dba4c194c05a47c165885c0cecc61b02e89f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed compile time context for external dependencies.

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

4eca891c521b7187f77b496c024fde064b1dadf2 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed compile time context for external dependencies.

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

804d23be4677500a29866a673f177ba7f54b235f authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed dependency for Junit3 tests.

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

b93575ad2cd4f30f9012b1fdacfc7892c0d194d4 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed wrong @Override annotations.

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

17d1e843a797ece55303ca8e5feb8d95086871b6 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added dependencies to apache commons OSGi bundles from Orbit.

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

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

780f08a7d48087dad782e4c795da21a19ecc7979 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added pom file.

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

8a0a47ea9eb29c528ebaad212c666c48d6b18aaf authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import of the command line interface for SAT researchers.

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

fb03f7d1985d9cc98b1b2083cdb1877ee506998a authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import of the command line interface for SAT researchers.

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

fa5a8f6da519d8511b4149336a9854ae55711f46 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import for maxsat component in Maven structure.

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

1edae46b8f951812cf6483eb4d423c82e3208077 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import for maxsat component in Maven structure.

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

912623e5376f2bba78be5d32cc9dcb7b9b09380b authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import of multicore package into Maven structure.

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

0229c8b692e251e03cb6b93081fa4162e3f1a654 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial import of multicore package into Maven structure.

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

5e1f785f27ad3a459b21290e9582843ff2624952 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added pom file.

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

308d8c9c87846fa4a8a0b32f0a82c66ed672845d authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial code for mavenized 2.0.0 release of SAT4J pseudo.

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

3341f79c210bf0400b3dc92f480ed0e2d131055c authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial code for mavenized 2.0.0 release of SAT4J pseudo.

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

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

0292355bcc4eb03ded5f15de8a08612facd2ccb5 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial attempt to create a maven structure for sat4j core.

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

353da38adc6e5182954aee8f6b9ffd4a1e16d122 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Initial attempt to create a maven structure for sat4j core.

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

cd37f87768ccc244ec891abcdabc925c99b9cd3e authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
creating main branch for code.

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

63a23c8422a8b90e4c26aff21cf0b93739b88c33 authored over 16 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>