文件名称:sat4j-maxsat-v20130525
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- 上传时间：
- 2013-06-05
- 文件大小：
- 593kb
- 下载次数：
- 0次
- 提 供 者：
- ke***
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
sat4j的maxtsat求解库，可用于解决MAXsat问题，在eclipse下可以直接设置-The maxtsat sat4j solving library that can be used to solve MAXsat problems can be directly set in eclipse
(系统自动生成,下载前可以参看下载内容)
下载文件列表
org.sat4j.maxsat-src.jar
org.sat4j.maxsat.jar
sat4j-maxsat.jar