Framework for synthesis of reversible logic using SAT-Solvers
Primary LanguagePythonThe UnlicenseUnlicense