dev-java/sat4j-core
Lightweight constraint programming with a SAT solver
|
|
# Prefix keywords |
alpha |
amd64 |
amd64 fbsd |
amd64 linux |
arm |
arm linux |
hppa |
hppa hpux |
ia64 |
ia64 hpux |
ia64 linux |
m68k |
m68k mint |
mips |
mips irix |
ppc |
ppc aix |
ppc macos |
ppc openbsd |
ppc64 |
s390 |
sh |
sparc |
sparc fbsd |
sparc solaris |
sparc64 solaris |
x64 freebsd |
x64 macos |
x64 openbsd |
x64 solaris |
x86 |
x86 fbsd |
x86 freebsd |
x86 interix |
x86 linux |
x86 macos |
x86 netbsd |
x86 openbsd |
x86 solaris |
x86 winnt |
|
| sat4j-core-2.1.1 | - | - | - | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | + | - | - | - | - | - | - | - | - | - |
| sat4j-core-2.1 | - | - | - | + | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | + | - | - | - | - | - | - | - | - | - |
Homepage:
http://www.sat4j.org/
License:
LGPL-2.1
29 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
sat4j-core-2.1.1.ebuild:
x86 stable wrt bug #318541
25 May 2010; Pacho Ramos <pacho@gentoo.org> sat4j-core-2.1.1.ebuild:
stable amd64, bug 318541
13 Apr 2010; Christian Faulhammer <fauli@gentoo.org>
sat4j-core-2.1.ebuild:
stable x86, bug 310181
*sat4j-core-2.1.1 (05 Apr 2010)
05 Apr 2010; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.1.1.ebuild:
Version Bump.
20 Mar 2010; Pacho Ramos <pacho@gentoo.org> sat4j-core-2.1.ebuild:
amd64 stable, bug 310181
09 Dec 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.1.ebuild,
+metadata.xml:
Move into main tree to await the arrival of eclipse-sdk.
*sat4j-core-2.1 (03 Nov 2009)
03 Nov 2009; Alistair Bush <ali_bush@gentoo.org> +sat4j-core-2.1.ebuild,
+metadata.xml:
New Ebuild based on the work done by Matt Whitlock <matt@whitlock.name>