bellavg's Stars
marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
cda-tum/fiction
An open-source design automation framework for Field-coupled Nanotechnologies
A Python library for working with logic networks, synthesis, and optimization.
An open-source design automation framework for Field-coupled Nanotechnologies