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: Sat Oct 19 2024 00:25:57 GMT-0900 (Hawaii-Aleutian Daylight Time)