/Aiger

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

Primary LanguageSwift

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)