This repository contains a backend for the saw-core library that uses
the aig library for construction of And-Inverter Graphs (AIGs).
saw-core-aig
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This repository contains a backend for the saw-core library that uses
the aig library for construction of And-Inverter Graphs (AIGs).