- 您所在的位置:
- Python中文网 >
- pypi >
- msat库 >
- 正文
msat的Python项目详细描述
多卫星多集约束求解器
- 此包Python名称:msat
- 目前版本: msat 1.2.1
- 最后维护时间:Jun 6, 2015
- 摘要:Multiset Constraint Solver for Multi-SAT
- 安装命令:pip install msat
- 其它:msat 这个Python第三方库的作者没有提供更多的项目描述信息了,2019-11-11 22:36:34。
- 可以返回 PyPI第三方库 首页,查找更多相关Python包程序。
欢迎加入QQ群-->: 979659372
推荐PyPI第三方库