A Python library for working with logic networks, synthesis, and optimization.
-
Updated
May 5, 2026 - Python
#
logic-optimization
Here are 5 public repositories matching this topic...
Logic circuit analysis and optimization
-
Updated
Feb 2, 2026 - Rust
C++ header-only And-Inverter graph (AIG) library
-
Updated
Mar 26, 2018 - C++
Artifact for "minority-Majority Inverter Graphs for Inverter-Aware AQFP-Oriented Logic Optimization" — source code, pre-computed results, and reproduction scripts for Table 1
logic-synthesis logic-optimization majority-inverter-graph aqfp superconducting-logic mockturtle inverter-minimization
-
Updated
May 5, 2026 - C++
Pure Python AIG (And-Inverter Graph) optimizer with FRAIG sweeping, NPN-guided DAG-aware rewriting, resubstitution, and stochastic multi-restart optimization. Benchmarks against Yosys and ABC.
python eda npn logic-synthesis fraig aiger aig logic-optimization boolean-functions and-inverter-graph circuit-optimization dag-rewriting resubstitution
-
Updated
Apr 7, 2026 - Python
Improve this page
Add a description, image, and links to the logic-optimization topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic-optimization topic, visit your repo's landing page and select "manage topics."