Solving MAXSAT and saying a few words about it.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Johnson 56c3434298 Tried to fix the problem, may have made it worse. 11 months ago
src Tried to fix the problem, may have made it worse. 11 months ago
.gitignore Started work on underlying types 1 year ago
Cargo.toml Merged karmarkar into master 11 months ago
recommended-pre-commit-unstable Started work on clauses API 1 year ago
run_tests.sh Add test script 11 months ago
rustfmt.toml Started work on clauses API 1 year ago