MIT License
Copyright (c) 2018 Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
没有合适的资源?快使用搜索试试~ 我知道了~
Python库 | python-sat-0.1.4.dev15.tar.gz
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
5星 · 超过95%的资源 1 下载量 107 浏览量
2022-04-13
23:40:02
上传
评论
收藏 239KB GZ 举报
温馨提示
共50个文件
py:20个
hh:12个
patch:10个
资源分类:Python库 所属语言:Python 资源全名:python-sat-0.1.4.dev15.tar.gz 资源来源:官方 安装方法:https://lanzao.blog.csdn.net/article/details/101784059
资源推荐
资源详情
资源评论
收起资源包目录
python-sat-0.1.4.dev15.tar.gz (50个子文件)
python-sat-0.1.4.dev15
MANIFEST.in 176B
PKG-INFO 1KB
README.rst 12KB
pysat
_fileio.py 6KB
formula.py 56KB
card.py 26KB
__init__.py 654B
pb.py 12KB
solvers.py 114KB
cardenc
itot.hh 5KB
seqcounter.hh 3KB
bitwise.hh 1KB
mto.hh 11KB
pairwise.hh 1008B
sortcard.hh 8KB
utils.hh 5KB
common.hh 1KB
ptypes.hh 918B
pycard.cc 15KB
ladder.hh 2KB
card.hh 2KB
clset.hh 2KB
setup.cfg 68B
requirements.txt 15B
examples
lbx.py 20KB
hitman.py 13KB
usage.py 2KB
sudoku.py 15KB
mcsls.py 19KB
musx.py 10KB
fm.py 17KB
__init__.py 0B
genhard.py 19KB
lsu.py 14KB
rc2.py 56KB
hornify.py 3KB
setup.py 4KB
LICENSE.txt 1KB
solvers
prepare.py 17KB
patches
maplesat.patch 71KB
maplecm.patch 102KB
cadical.patch 4KB
minisat22.patch 34KB
minicard.patch 41KB
glucose30.patch 84KB
maplechrono.patch 85KB
glucose41.patch 76KB
minisatgh.patch 51KB
lingeling.patch 40KB
pysolvers.cc 132KB
共 50 条
- 1
资源评论
- Serafina_hh2023-05-25资源有很好的参考价值,总算找到了自己需要的资源啦。
挣扎的蓝藻
- 粉丝: 13w+
- 资源: 15万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功