M4D-A / sat_revsynth Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Framework for synthesis of reversible logic using SAT-Solvers

Unlicense license

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 204 Commits
.github/workflows		.github/workflows
cpp		cpp
src		src
.flake8		.flake8
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
pyproject.toml		pyproject.toml
requirements.txt		requirements.txt

Repository files navigation

sat_revsynth

Framework for synthesis of reversible logic using SAT-Solvers

About

Framework for synthesis of reversible logic using SAT-Solvers

Unlicense license

Report repository

Releases

No releases published

Packages

No packages published

Languages