GitHub repository: Acloyer/tseitin-benchmark
Created: 2025-05-30T11:12:33Z
Description: Expander-Tseitin CNF generator & SAT benchmark (v1.0-rc)