o

org.sat4j.core

The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.
Daniel Le Berre Stephanie Roussel Emmanuel Lonca
with contains willing flexible minisat that technologies software regularly updated initial implementation developer mature specification library target java core latest their capability
大版本 版本 最近更新
2.3 2.3.1 2011-11-01 06:55:07
2.3.0 2011-03-30 17:13:29
2.2 2.2.3 2010-12-24 19:38:43
2.0 2.0.4 2008-11-06 08:59:44
2.0.0 2008-10-01 23:35:29
共5条记录