https://gitlab.ow2.org/sat4j/sat4j.git
Revision b93575ad2cd4f30f9012b1fdacfc7892c0d194d4 authored by leberre on 10 June 2008, 22:00:25 UTC, committed by leberre on 10 June 2008, 22:00:25 UTC
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@23 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
1 parent 17d1e84
Tip revision: b93575ad2cd4f30f9012b1fdacfc7892c0d194d4 authored by leberre on 10 June 2008, 22:00:25 UTC
Fixed dependency for Junit3 tests.
Fixed dependency for Junit3 tests.
Tip revision: b93575a
File | Mode | Size |
---|---|---|
org.sat4j.core | ||
org.sat4j.maxsat | ||
org.sat4j.multicore | ||
org.sat4j.pb | ||
org.sat4j.sat | ||
pom.xml | -rw-r--r-- | 8.5 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...