Pinned Loading

1. cda-tum/fiction cda-tum/fiction Public

   An open-source design automation framework for Field-coupled Nanotechnologies

   C++ 64 23

2. CEGIS CEGIS Public

   Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

   C++ 46 6

3. aigverse aigverse Public

   A Python library for working with logic networks, synthesis, and optimization.

   Python 5

4. ls4ai ls4ai Public

   Hack4Her'24: Logic Synthesis for AI

   Jupyter Notebook 5