SAT4J pseudo org.sat4j.pb

Group	org.sat4j
描述	The pb library contains algorithms for solving pseudo boolean optimization problems.

版本	仓库	发布时间
2.3.1	central	2011-11-01 06:59
2.3.0	central	2011-03-30 17:21
2.2.3	central	2010-12-24 19:46
2.0.4	central	2008-11-04 02:17
2.0.0	central	2008-10-01 23:35