jar

it.unibo.tuprolog : bdd-jvm

Maven & Gradle

Aug 25, 2023
3 usages
93 stars

Binary Decision Diagrams Library · Multi-platform library for representing and manipulating Binary Decision Diagrams

Table Of Contents

Latest Version

Download it.unibo.tuprolog : bdd-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : bdd-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window bdd-jvm-0.31.13.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.bdd

├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagram.class - [JAR]

├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramBuilder.class - [JAR]

├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramBuilderKt.class - [JAR]

├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramOperators.class - [JAR]

├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramUtils.class - [JAR]

├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramVisitor.class - [JAR]

it.unibo.tuprolog.bdd.exception

├─ it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramException.class - [JAR]

├─ it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramOperationException.class - [JAR]

it.unibo.tuprolog.bdd.impl.builder

├─ it.unibo.tuprolog.bdd.impl.builder.ReducedBinaryDecisionDiagramBuilder.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramBuilder.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramTerminal.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramVariable.class - [JAR]

it.unibo.tuprolog.bdd.impl

├─ it.unibo.tuprolog.bdd.impl.AnyVisitor.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.BinaryApplyExpansionVisitor.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.BinaryApplyExpansionVisitorKt.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.ExpansionVisitor.class - [JAR]

├─ it.unibo.tuprolog.bdd.impl.UnaryApplyExpansionVisitor.class - [JAR]

it.unibo.tuprolog.bdd.impl.utils

├─ it.unibo.tuprolog.bdd.impl.utils.CastVisitor.class - [JAR]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
8 usages
93 stars

Discover Dependencies

Aug 23, 2023
7 usages
504 stars
Aug 19, 2021
4 usages
25 stars
Mar 30, 2020
5 usages
99 stars
May 23, 2023
4 usages
7 stars
Dec 07, 2019
6 usages
103 stars
Aug 22, 2023
3 usages
6 stars
Aug 17, 2023
5 usages
416 stars
Jan 16, 2023
11 usages
2.1k stars