GitHub repository: voltrevo/boolify
Primary language: Rust
Created: 2024-09-06T06:28:59Z
Description: Convert arithmetic circuits into boolean circuits