GitHub - Lab205/AllSat

input: test.cnf output: result

test_new.cnf 是构造的一个可满足公式，预想应该有解 2 -22 52

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
blocksworld		blocksworld
build		build
dist		dist
lib/minisat		lib/minisat
nbproject		nbproject
src		src
.dep.inc		.dep.inc
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
README.md~		README.md~
a		a
input.cnf		input.cnf
input.cnf~		input.cnf~
main.cpp		main.cpp
medium.cnf		medium.cnf
medium_new.cnf~		medium_new.cnf~
muc.txt		muc.txt
muser2		muser2
muser2-output(2 -22 52).cnf		muser2-output(2 -22 52).cnf
muser2-output(old).cnf		muser2-output(old).cnf
muser2-output.cnf		muser2-output.cnf
muser2-output.cnf~		muser2-output.cnf~
res.txt		res.txt
result		result
result.txt		result.txt
test.cnf		test.cnf
test.cnf~		test.cnf~
test_new.cnf		test_new.cnf
test_new.cnf~		test_new.cnf~
tmp		tmp
uf250-01.cnf		uf250-01.cnf
unsat.cnf~		unsat.cnf~

Provide feedback