Aiger

master

Star
A lightweight, swifty (and incomplete) wrapper around the AIGER library
ltentrup/Aiger

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)

Description

  • Swift Tools 3.1.0
View More Packages from this Author

Dependencies

Last updated: Tue Nov 08 2022 17:43:13 GMT-1000 (Hawaii-Aleutian Standard Time)