注册
登录
python
PyMiniSolvers
返回
项目作者：
liffiton
项目描述 ：
A Python API for the MiniSat and MiniCard constraint solvers.
高级语言：
C++
项目主页：
项目地址:
git://github.com/liffiton/PyMiniSolvers.git
创建时间：
2014-03-11T20:08:27Z
项目社区：
https://github.com/liffiton/PyMiniSolvers
开源协议：
Other
下载
