batsat-master.zip （66个子文件） 
batsat-master 
.rustfmt.toml 101B Cargo.toml 351B sudoku-debug.sh 197B Cargo.lock 6KB src batsat-ipasir Cargo.toml 219B LINK 19B src lib.rs 6KB LIBS 19B makefile 135B batsat-bin Cargo.toml 780B src main.rs 16KB system.rs 2KB batsat Cargo.toml 565B src drat.rs 2KB theory.rs 2KB dimacs.rs 6KB alloc.rs 4KB lib.rs 2KB core.rs 84KB clause.rs 27KB interface.rs 4KB callbacks.rs 4KB intmap.rs 13KB batsat-sudoku Cargo.toml 280B src main.rs 2KB parse.rs 1KB solve.rs 13KB bref.rs 2KB grid.rs 5KB benchs drat drat-trim.c 52KB sudoku 
sudoku.txt 2KB top1465.txt 117KB Makefile 317B test_tool Cargo.toml 288B Cargo.lock 5KB src main.rs 12KB Makefile 364B msat ssa ssa2670-130.cnf 42KB ssa7552-160.cnf 38KB ssa7552-038.cnf 45KB ssa7552-158.cnf 37KB ssa2670-141.cnf 27KB ssa7552-159.cnf 37KB ssa6288-047.cnf 537KB ssa0432-003.cnf 12KB bugs double_atom.cnf 77B pigeon hole9.cnf 7KB hole7.cnf 4KB hole8.cnf 5KB hole10.cnf 6KB hole6.cnf 3KB unsat test-000.cnf 42B test-001.cnf 65B sat test-000.cnf 30B test-014.cnf 107B hanoi hanoi5.cnf 209KB hanoi4.cnf 65KB benchpress.sexp 362B .travis.yml 126B LICENSE 1KB README.md 995B Makefile 2KB .ignore 7B .gitignore 79B .sudoku-fast.ref 7KB sudoku.sh 185B资源评论
