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

SAT算法库 OpenSAT

发布时间:2013-02-01 15:22:43来源:红联作者:empast

OpenSAT 是一个旨在开发SAT算法的项目。

项目主页：http://sat.inesc.pt/OpenSAT/index.php

下载地址：http://sat.inesc.pt/OpenSAT/download.php

来自:开源中国社区

文章评论

共有 0 条评论

频道文章

最新教程

随机推荐