GitHub repository: ltentrup/booleanium
Primary language: Rust
Created: 2023-02-18T09:48:11Z
Description: An experimental QBF solver