GitHub repository: mauzigoe/tseitin_cli
Primary language: Rust
Description: Transform boolean equation to CNF with Tseitin Transformation on CLI