当前位置: 红联Linux门户 > Linux软件下载

SAT算法库 SAT4J

发布时间:2013-02-01 21:32:27来源:红联作者:empast

OpenSAT 是一个Java实现的SAT算法库。

项目主页：http://www.sat4j.org/

下载地址：http://forge.ow2.org/project/showfiles.php?group_id=228

来自:开源中国社区

文章评论

共有 0 条评论

频道文章

最新教程

随机推荐