Gentoo Packages /package/dev-java/sat4j-core http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/package/dev-java/sat4j-core Gentoo Packages2 2013-05-25T00:49:19Z <div> <span class="cpvstr">dev-java/sat4j-core</span>: <span class="description">Lightweight constraint programming with a SAT solver</span> </div> http://packages.gentoo.org/package/dev-java/sat4j-core?ts=2012-08-09T21:01:08Z Johannes Huber (johu) http://cia.vc/stats/author/johu 2012-08-09T21:01:08Z
09 Aug 2012; Johannes Huber (johu) sat4j-core-2.3.1-r1.ebuild:
Stable for x86, wrt bug #418727