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)