search

jix / varisat

SAT solver written in Rust
https://jix.one/project/varisat
Apache License 2.0
253 stars 17 forks source link

Implement search parameter configuration #39

Closed jix closed 5 years ago

jix commented 5 years ago

Will resolve #23

jix commented 5 years ago

bors r+

bors[bot] commented 5 years ago

Build failed

jix commented 5 years ago

bors r+

bors[bot] commented 5 years ago

Build failed

jix commented 5 years ago

bors r+

bors[bot] commented 5 years ago

Build succeeded