GitHub repository: nishaq503/MergeSAT
Primary language: Rust
Created: 2020-06-26T17:04:29Z
Description: A fast divide-and-conquer SAT Solver