Wednesday

Tuesday

dev-java/sat4j-core

Lightweight constraint programming with a SAT solver

09 Aug 2012; Johannes Huber (johu) sat4j-core-2.3.1-r1.ebuild:
Stable for x86, wrt bug #418727
amd64-linuxarm-linuxhppa-hpuxia64-hpuxia64-linuxm68k-mintmips-irixppc-aixppc-macosppc-openbsdsparc-solarissparc64-solarisx64-freebsdx64-macosx64-openbsdx64-solarisx86-cygwinx86-freebsdx86-interixx86-linuxx86-macosx86-netbsdx86-openbsdx86-solarisx86-winnt
2.3.1-r1
2.2.0
dev-java Homepage LGPL-2.1 ChangeLog Metadata Similar Bugs Forums

Last update:
22 May 2013
01:37 UTC

Legend
Arches
C E A F P L
Links