Skip to content

💫 Library for managing Boolean circuits in Kotlin

Notifications You must be signed in to change notification settings

Lipen/circuition

Repository files navigation

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