This repository contains a backend for the saw-core
library that uses
the aig
library for construction of And-Inverter Graphs (AIGs).
chameco / saw-core-aig Goto Github PK
View Code? Open in Web Editor NEWThis project forked from galoisinc/saw-core-aig
Simulator backend for saw-core based on AIGs
License: BSD 3-Clause "New" or "Revised" License