All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download bdd-jvm JAR 0.31.20 with all dependencies


    Multi-platform library for representing and manipulating Binary Decision Diagrams

    Files of the artifact bdd-jvm version 0.31.20 from the group it.unibo.tuprolog.

    Test

    Artifact bdd-jvm
    Group it.unibo.tuprolog
    Version 0.31.20
    Last update 22. December 2023
    Tags: library decision manipulating binary representing diagrams platform multi
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 3
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-stdlib,
    There are maybe transitive dependencies!
    There is a newer version: 1.0.4
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of bdd-jvm Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of bdd-jvm version 0.31.20

    META-INF
    META-INF.META-INF.MANIFEST.MF
    commonMain.it.unibo.tuprolog.bdd
    commonMain.it.unibo.tuprolog.bdd.commonMain.it.unibo.tuprolog.bdd.BinaryDecisionDiagram.kt
    commonMain.it.unibo.tuprolog.bdd.commonMain.it.unibo.tuprolog.bdd.BinaryDecisionDiagramBuilder.kt
    commonMain.it.unibo.tuprolog.bdd.commonMain.it.unibo.tuprolog.bdd.BinaryDecisionDiagramOperators.kt
    commonMain.it.unibo.tuprolog.bdd.commonMain.it.unibo.tuprolog.bdd.BinaryDecisionDiagramUtils.kt
    commonMain.it.unibo.tuprolog.bdd.commonMain.it.unibo.tuprolog.bdd.BinaryDecisionDiagramVisitor.kt
    commonMain.it.unibo.tuprolog.bdd.exception
    commonMain.it.unibo.tuprolog.bdd.exception.commonMain.it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramException.kt
    commonMain.it.unibo.tuprolog.bdd.exception.commonMain.it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramOperationException.kt
    commonMain.it.unibo.tuprolog.bdd.impl
    commonMain.it.unibo.tuprolog.bdd.impl.commonMain.it.unibo.tuprolog.bdd.impl.AnyVisitor.kt
    commonMain.it.unibo.tuprolog.bdd.impl.commonMain.it.unibo.tuprolog.bdd.impl.BinaryApplyExpansionVisitor.kt
    commonMain.it.unibo.tuprolog.bdd.impl.commonMain.it.unibo.tuprolog.bdd.impl.ExpansionVisitor.kt
    commonMain.it.unibo.tuprolog.bdd.impl.commonMain.it.unibo.tuprolog.bdd.impl.UnaryApplyExpansionVisitor.kt
    commonMain.it.unibo.tuprolog.bdd.impl.builder
    commonMain.it.unibo.tuprolog.bdd.impl.builder.commonMain.it.unibo.tuprolog.bdd.impl.builder.ReducedBinaryDecisionDiagramBuilder.kt
    commonMain.it.unibo.tuprolog.bdd.impl.builder.commonMain.it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramBuilder.kt
    commonMain.it.unibo.tuprolog.bdd.impl.builder.commonMain.it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramTerminal.kt
    commonMain.it.unibo.tuprolog.bdd.impl.builder.commonMain.it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramVariable.kt
    commonMain.it.unibo.tuprolog.bdd.impl.utils
    commonMain.it.unibo.tuprolog.bdd.impl.utils.commonMain.it.unibo.tuprolog.bdd.impl.utils.CastVisitor.kt




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy