+
Skip to content

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

About

💫 Library for managing Boolean circuits in Kotlin

Topics

Resources

Stars

Watchers

Forks

Languages

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载