/circuition

💫 Library for managing Boolean circuits in Kotlin

Primary LanguageKotlin

Circuit Library for Kotlin

Build JitPack Hits-of-Code

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")
}