Thursday

Wednesday

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
alphaamd64armhppaia64m68kmipsppcppc64s390shsparcx86
2.3.1-r1 + +
2.2.0 + +
dev-java Homepage LGPL-2.1 ChangeLog Metadata Similar Bugs Forums

Last update:
23 May 2013
23:52 UTC

Legend
Arches
C E A F P L
Links