Syrup
Syrup copied to clipboard
A compiler from truth tables to circuits
This would allow us to quickly show how circuits are generated from tables. Bonus point for exploiting symmetries.