GitHub repository: ltentrup/caqe
Primary language: Rust
Created: 2018-05-18T06:44:09Z
Description: CAQE is a solver for quantified Boolean formulas