mauzigoe/tseitin_cli

Transform boolean equation to CNF with Tseitin Transformation on CLI

1 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• Tseitin_CLI: Transform boolean equation to CNF with Tseitin Transformation (1 points, 0 comments, by thunderbong, 2024-12-28)