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

Last update:
19 Jun 2013
12:31 UTC

Legend
Arches
C E A F P L
Links