注册
登录
BI商业智能
sat-solver
返回
项目作者：
ben-marshall
项目描述 ：
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
高级语言：
C
项目主页：
项目地址:
git://github.com/ben-marshall/sat-solver.git
创建时间：
2017-07-09T20:32:49Z
项目社区：
https://github.com/ben-marshall/sat-solver
开源协议：
下载
