💫 Library for managing Boolean circuits in Kotlin

Search for linearizing sets to solve inversion problem

This repository contains the implementation of a Graph Neural Network (GNN) model for processing And-Inverter Graphs (AIGs) together with logic synthesis recipes to predict key circuit metrics such as delay and area

Heuristics based approach for Logic Synthesis with the goal to reduce the delay in the circuit and the execution time.

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.