README.adoc

Circuit Library for Kotlin

This library provides easy-to-use tools for managing circuits in Kotlin. It contains methods for parsing AIGER and BENCH files, as well as classes for representing AIGs and circuits in your code. With this library, you can quickly and easily work with circuits in Kotlin, making it a great choice for anyone looking to build circuit-based applications.

Installation

build.gradle.kts

repositories {
    maven(url = "https://jitpack.io")
}
dependencies {
    implementation("com.github.Lipen:circuition:$version")
}

Library usage

import com.github.lipen.circuition.circuit.parseBench
import com.github.lipen.circuition.aig.parseAig

fun main() {
    val circuit = parseBench("data/examples/bench/c17.bench")
    println("circuit = $circuit")

    val aig = parseAig("data/examples/aag/c17.aag")
    println("aig = $aig")
}