ltentrup / Aiger

A lightweight, swifty (and incomplete) wrapper around the AIGER library

Aiger

A lightweight, swifty (and incomplete) wrapper around the C AIGER library.

Feautures

• Iteration over inputs, latches, and outputs
• Lookup of literals

Installation

Swift Package Manager

.Package(url: "https://github.com/ltentrup/Aiger.git", majorVersion: 0, minor: 2)