Docs.rs
pumpkin-solver-0.5.0
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
pumpkin-solver 0.5.0
The Pumpkin combinatorial optimisation solver library.
Crate
Source
Builds
Feature flags
Documentation
Hide files
..
checkers
.gitignore
add128.cnf
add16.cnf
add32.cnf
add4.cnf
add64.cnf
add8.cnf
block0.cnf
elimclash.cnf
elimredundant.cnf
empty.cnf
factor2708413neg.cnf
factor2708413pos.cnf
full1.cnf
full2.cnf
full3.cnf
full4.cnf
full5.cnf
full6.cnf
full7.cnf
ph2.cnf
ph3.cnf
ph4.cnf
ph5.cnf
ph6.cnf
prime121.cnf
prime1369.cnf
prime1681.cnf
prime169.cnf
prime1849.cnf
prime2209.cnf
prime25.cnf
prime289.cnf
prime361.cnf
prime4.cnf
prime4294967297.cnf
prime49.cnf
prime529.cnf
prime65537.cnf
prime841.cnf
prime9.cnf
prime961.cnf
README.md
regr000.cnf
sat0.cnf
sat1.cnf
sat10.cnf
sat11.cnf
sat12.cnf
sat13.cnf
sat2.cnf
sat3.cnf
sat4.cnf
sat5.cnf
sat6.cnf
sat7.cnf
sat8.cnf
sat9.cnf
sqrt10201.cnf
sqrt1042441.cnf
sqrt10609.cnf
sqrt11449.cnf
sqrt11881.cnf
sqrt12769.cnf
sqrt16129.cnf
sqrt259081.cnf
sqrt2809.cnf
sqrt3481.cnf
sqrt3721.cnf
sqrt4489.cnf
sqrt5041.cnf
sqrt5329.cnf
sqrt6241.cnf
sqrt63001.cnf
sqrt6889.cnf
sqrt7921.cnf
sqrt9409.cnf
sub0.cnf
trivially_false.cnf
unit0.cnf
unit1.cnf
unit2.cnf
unit3.cnf
unit4.cnf
unit5.cnf
unit6.cnf
unit7.cnf
1
2
3
4
5
p cnf 2 3 -1 -2 0 -1 2 0 1 -2 0 c1 2 0