Note: this repository is obsolete, and its contents have been moved here
This repository contains a backend for the saw-core library that uses
the aig library for construction of And-Inverter Graphs (AIGs).
This repository has been archived by the owner on Jun 11, 2021. It is now read-only.