【文件属性】：
文件名称：batsat:一个（参数化的）Rust SAT求解器，最初基于MiniSat
文件大小：424KB
文件格式：ZIP
更新时间：2021-05-28 20:14:25
rust sat-solver minisat drat proof-generating
蝙蝠卫星
这是从派生出来的Rust SAT求解器，它是MiniSat的重新实现。
执照
麻省理工学院许可。
特点和目标
Batsat最初基于ratsat（minisat的克隆）。 但是，我们希望进一步扩展batsat并提供以下功能：
证明生产（在）
轻松访问非饱和核（作为假设的子集）
ipasir接口，用于增量求解
测试此接口
使用log调试框架（可选）
OCaml绑定
编写SMT求解器的模板化API
Minisat +的简化技术（作为可选的内部结构）
【文件预览】：
batsat-master
----.rustfmt.toml(101B)
----Cargo.toml(351B)
----sudoku-debug.sh(197B)
----Cargo.lock(6KB)
----src()
--------batsat-ipasir()
--------batsat-bin()
--------batsat()
--------batsat-sudoku()
----benchs()
--------drat()
--------sudoku()
--------test_tool()
--------Makefile(364B)
--------msat()
--------benchpress.sexp(362B)
----.travis.yml(126B)
----LICENSE(1KB)
----README.md(995B)
----Makefile(2KB)
----.ignore(7B)
----.gitignore(79B)
----.sudoku-fast.ref(7KB)
----sudoku.sh(185B)