4432862 | leberre | 06 August 2008, 15:54:27 UTC | Yet another @Override problem. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@122 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 15:54:27 UTC |
3d24f58 | leberre | 06 August 2008, 14:55:10 UTC | Removed annoying @Override tag. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@116 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 14:55:10 UTC |
f389283 | leberre | 06 August 2008, 13:30:20 UTC | Updated Pom file to exclude failing tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@115 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 13:30:20 UTC |
b6533d2 | leberre | 06 August 2008, 10:27:13 UTC | Fixed some issues to build properly SAT4J from maven. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@113 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 10:27:13 UTC |
7a68062 | leberre | 06 August 2008, 10:02:06 UTC | Moved 3 new tests to EZ benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@112 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 10:02:06 UTC |
7f4a420 | leberre | 06 August 2008, 09:43:23 UTC | Moved 3 new tests to EZ benchmarks. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@111 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 09:43:23 UTC |
1fdacd8 | leberre | 06 August 2008, 09:25:05 UTC | Moved tests from EZ acceptance tests to be sure all tests are passing within the timeout. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@110 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 09:25:05 UTC |
b103229 | leberre | 06 August 2008, 08:45:48 UTC | Updated tests to mimic the expected use of th SingleSolutionDetector. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@109 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 08:45:48 UTC |
223a8a3 | leberre | 06 August 2008, 08:44:50 UTC | Updated javadoc to warn users against the use of ISolver.removeConstr method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@108 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 08:44:50 UTC |
19fc61c | leberre | 06 August 2008, 07:31:09 UTC | Fixed problem in nConstraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@107 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 07:31:09 UTC |
085ad73 | leberre | 06 August 2008, 07:30:35 UTC | Added new assert to complete failing test. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@106 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 07:30:35 UTC |
9a732c1 | leberre | 06 August 2008, 06:59:49 UTC | dded META-INF directory to fix the issue with top level jar. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@105 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 06:59:49 UTC |
1160d6b | leberre | 05 August 2008, 21:31:28 UTC | Removed outdated packages. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@103 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 August 2008, 21:31:28 UTC |
5d9ab3d | leberre | 05 August 2008, 21:29:58 UTC | Added libraries needed for ant made packages. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@102 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 August 2008, 21:29:58 UTC |
412e501 | leberre | 05 August 2008, 21:28:46 UTC | Updated pom and build files to better generate Maven Artifacts/web site and ant made packages. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@101 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 August 2008, 21:28:46 UTC |
b4fc58b | leberre | 05 August 2008, 20:57:57 UTC | Applied patch from Anne Parrain to fix the assertion failure in the tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@100 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 August 2008, 20:57:57 UTC |
22f0968 | leberre | 24 July 2008, 20:07:26 UTC | Added test files necessary to run org.sat4j.pb tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@99 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 July 2008, 20:07:26 UTC |
0647cca | leberre | 24 July 2008, 19:56:57 UTC | Updated tests to make them all pass in normal situation (no more timeout). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@98 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 July 2008, 19:56:57 UTC |
3c27df4 | leberre | 15 July 2008, 21:45:21 UTC | Removed a test too long for Mini3SAT solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@97 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 21:45:21 UTC |
0fe7826 | leberre | 15 July 2008, 21:39:43 UTC | Removed debug messages. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@96 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 21:39:43 UTC |
9c65dd5 | leberre | 15 July 2008, 21:22:50 UTC | Added the EZCNF prefix to handle comments in Dimacs files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@95 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 21:22:50 UTC |
c96a48c | leberre | 15 July 2008, 21:20:04 UTC | Fixed a problem in isImplied now that newVar is no longer mandatory. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@94 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 21:20:04 UTC |
ecd713e | leberre | 15 July 2008, 20:54:04 UTC | Wrote the test another way. Works now :) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@93 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 20:54:04 UTC |
f9b00e3 | leberre | 15 July 2008, 20:46:10 UTC | Removed unused files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@92 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 20:46:10 UTC |
e0cf8de | leberre | 15 July 2008, 20:43:35 UTC | Discarded some solvers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@91 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 20:43:35 UTC |
7032dc7 | leberre | 15 July 2008, 20:27:21 UTC | removed unnecessary test files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@90 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 20:27:21 UTC |
0c0f9bc | leberre | 15 July 2008, 20:25:22 UTC | Removed wrong test file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@89 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 20:25:22 UTC |
a1284fb | leberre | 15 July 2008, 20:24:49 UTC | Removed wrong test case. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@88 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 20:24:49 UTC |
c4ba34f | leberre | 15 July 2008, 17:02:51 UTC | 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-c3ae2a17a6e1 | 15 July 2008, 17:02:51 UTC |
369b3fd | leberre | 15 July 2008, 16:56:28 UTC | Removed hole8 from test files. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@86 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 16:56:28 UTC |
596fb2a | leberre | 15 July 2008, 16:54:40 UTC | 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-c3ae2a17a6e1 | 15 July 2008, 16:54:40 UTC |
3df3da8 | leberre | 15 July 2008, 16:53:47 UTC | Reduced timeout to 30 seconds. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@84 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 15 July 2008, 16:53:47 UTC |
a31a412 | leberre | 11 July 2008, 15:47:19 UTC | Removed GoodOPBReaderTest. Updated pom file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@83 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 July 2008, 15:47:19 UTC |
d090e95 | leberre | 11 July 2008, 15:46:12 UTC | 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-c3ae2a17a6e1 | 11 July 2008, 15:46:12 UTC |
c460955 | leberre | 11 July 2008, 15:34:28 UTC | 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-c3ae2a17a6e1 | 11 July 2008, 15:34:28 UTC |
fea3d87 | leberre | 11 July 2008, 14:45:02 UTC | Removed references to junit.swingui classes. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@80 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 July 2008, 14:45:02 UTC |
9b7fd64 | leberre | 11 July 2008, 09:04:00 UTC | 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-c3ae2a17a6e1 | 11 July 2008, 09:04:00 UTC |
a051118 | leberre | 11 July 2008, 08:43:48 UTC | 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-c3ae2a17a6e1 | 11 July 2008, 08:43:48 UTC |
ebaaaf2 | leberre | 09 July 2008, 22:09:15 UTC | Removed Exception stack trace. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@77 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 July 2008, 22:09:15 UTC |
93dfa25 | leberre | 09 July 2008, 21:44:00 UTC | Fixed test. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@76 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 July 2008, 21:44:00 UTC |
7f2464a | leberre | 09 July 2008, 21:43:41 UTC | 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-c3ae2a17a6e1 | 09 July 2008, 21:43:41 UTC |
437c626 | leberre | 09 July 2008, 20:59:46 UTC | Improve error message. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@74 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 July 2008, 20:59:46 UTC |
4a8b49b | leberre | 09 July 2008, 20:58:33 UTC | Fixed Luby function!!!!! git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@73 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 July 2008, 20:58:33 UTC |
eba15a0 | leberre | 09 July 2008, 16:52:09 UTC | Fixed @Override annotation problems. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@72 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 July 2008, 16:52:09 UTC |
16209d1 | leberre | 24 June 2008, 15:32:16 UTC | Added Javadoc comment. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@67 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 June 2008, 15:32:16 UTC |
5cbcbe9 | leberre | 24 June 2008, 15:17:02 UTC | 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-c3ae2a17a6e1 | 24 June 2008, 15:17:02 UTC |
2f7541e | leberre | 24 June 2008, 15:06:39 UTC | Added a strategy to disable restarts. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@65 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 June 2008, 15:06:39 UTC |
ff39700 | leberre | 19 June 2008, 12:50:19 UTC | Update pom files with release 2.0.1. Improved description of the projects. Updated developers and contributors for core and pb modules. Added LICENSE.txt files for maven bundle packaging.:wq git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@63 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 June 2008, 12:50:19 UTC |
a2323fa | leberre | 18 June 2008, 19:48:40 UTC | Replaced wrong UnsupportedOperationException by IllegalArgumentException. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@62 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 June 2008, 19:48:40 UTC |
d9cd129 | leberre | 13 June 2008, 21:50:39 UTC | Fixed link back to main project. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@61 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 June 2008, 21:50:39 UTC |
7c92758 | leberre | 13 June 2008, 21:49:36 UTC | Added custom Javadoc rendering. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@60 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 June 2008, 21:49:36 UTC |
fcfe963 | leberre | 13 June 2008, 14:34:17 UTC | 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-c3ae2a17a6e1 | 13 June 2008, 14:34:17 UTC |
9cfd862 | leberre | 13 June 2008, 14:11:34 UTC | Fixed management of unknown global constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@58 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 June 2008, 14:11:34 UTC |
f804229 | leberre | 13 June 2008, 14:07:46 UTC | Fixed schema for 2.1 format. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@57 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 June 2008, 14:07:46 UTC |
cbf66d8 | leberre | 13 June 2008, 13:55:58 UTC | 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-c3ae2a17a6e1 | 13 June 2008, 13:55:58 UTC |
1ac86ac | leberre | 11 June 2008, 20:15:58 UTC | Removed unused final qualifiers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@55 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 20:15:58 UTC |
d33965c | leberre | 11 June 2008, 11:40:03 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:40:03 UTC |
2eb18d4 | leberre | 11 June 2008, 11:35:00 UTC | Fixed javadoc. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@53 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 11:35:00 UTC |
5d7bbf1 | leberre | 11 June 2008, 11:33:07 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:33:07 UTC |
26e20af | leberre | 11 June 2008, 11:29:36 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:29:36 UTC |
adb025a | leberre | 11 June 2008, 11:27:59 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:27:59 UTC |
1deefb0 | leberre | 11 June 2008, 11:27:36 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:27:36 UTC |
316b423 | leberre | 11 June 2008, 11:27:04 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:27:04 UTC |
cddf93b | leberre | 11 June 2008, 11:26:11 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:26:11 UTC |
7f1aab0 | leberre | 11 June 2008, 11:25:48 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:25:48 UTC |
fc5d976 | leberre | 11 June 2008, 11:25:13 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 11:25:13 UTC |
a71c313 | leberre | 11 June 2008, 06:20:15 UTC | Fixed JavaDoc comments. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@44 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 06:20:15 UTC |
58888c5 | leberre | 11 June 2008, 06:16:09 UTC | Fixed JavaDoc comments. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@43 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 06:16:09 UTC |
8376f8a | leberre | 11 June 2008, 06:09:59 UTC | Fixed JavaDoc comments. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@42 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 06:09:59 UTC |
e2a1272 | leberre | 11 June 2008, 06:05:28 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 06:05:28 UTC |
38a4e0b | leberre | 11 June 2008, 06:04:57 UTC | git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@40 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 06:04:57 UTC |
091c4f3 | leberre | 11 June 2008, 06:03:38 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 06:03:38 UTC |
a076fbb | leberre | 11 June 2008, 06:01:50 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 06:01:50 UTC |
718dea2 | leberre | 11 June 2008, 06:01:03 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 06:01:03 UTC |
e0c2d91 | leberre | 11 June 2008, 05:59:59 UTC | made csp.xmlparser a bundle. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@36 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 05:59:59 UTC |
f434f3d | leberre | 11 June 2008, 05:59:41 UTC | made csp.xmlparser a bundle. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@35 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2008, 05:59:41 UTC |
2d1dc57 | leberre | 11 June 2008, 05:54:47 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 05:54:47 UTC |
ccba31f | leberre | 11 June 2008, 05:33:01 UTC | 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-c3ae2a17a6e1 | 11 June 2008, 05:33:01 UTC |
0061c75 | leberre | 10 June 2008, 23:08:11 UTC | Added csp related modules. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@32 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 23:08:11 UTC |
bf86660 | leberre | 10 June 2008, 23:05:36 UTC | Added dependency to XML parser. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@31 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 23:05:36 UTC |
ea40794 | leberre | 10 June 2008, 23:04:34 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 23:04:34 UTC |
f1d545a | leberre | 10 June 2008, 22:59:34 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 22:59:34 UTC |
6fc9dd9 | leberre | 10 June 2008, 22:52:49 UTC | Fixed pom file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@28 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 22:52:49 UTC |
2351e5d | leberre | 10 June 2008, 22:48:33 UTC | Initial import for the CSP solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@27 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 22:48:33 UTC |
2169dba | leberre | 10 June 2008, 22:45:45 UTC | Initial import for the CSP solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@26 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 22:45:45 UTC |
4eca891 | leberre | 10 June 2008, 22:40:47 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 22:40:47 UTC |
804d23b | leberre | 10 June 2008, 22:39:45 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 22:39:45 UTC |
b93575a | leberre | 10 June 2008, 22:00:25 UTC | Fixed dependency for Junit3 tests. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@23 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 22:00:25 UTC |
17d1e84 | leberre | 10 June 2008, 21:38:15 UTC | Removed wrong @Override annotations. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@22 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 21:38:15 UTC |
902c2d1 | leberre | 10 June 2008, 21:06:52 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 21:06:52 UTC |
780f08a | leberre | 10 June 2008, 20:09:30 UTC | git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@20 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 20:09:30 UTC |
8a0a47e | leberre | 10 June 2008, 20:07:48 UTC | Added pom file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@19 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 20:07:48 UTC |
fb03f7d | leberre | 10 June 2008, 20:06:33 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 20:06:33 UTC |
fa5a8f6 | leberre | 10 June 2008, 20:06:12 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 20:06:12 UTC |
1edae46 | leberre | 10 June 2008, 19:53:21 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 19:53:21 UTC |
912623e | leberre | 10 June 2008, 19:53:06 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 19:53:06 UTC |
0229c8b | leberre | 10 June 2008, 19:38:00 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 19:38:00 UTC |
5e1f785 | leberre | 10 June 2008, 19:37:47 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 19:37:47 UTC |
308d8c9 | leberre | 10 June 2008, 19:30:34 UTC | Added pom file. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@12 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 10 June 2008, 19:30:34 UTC |
3341f79 | leberre | 10 June 2008, 19:28:08 UTC | 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-c3ae2a17a6e1 | 10 June 2008, 19:28:08 UTC |