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

    Download logicng-serialization JAR 2.6.0 with all dependencies


    LogicNG Protocol Buffer Serialization Framework

    Files of the artifact logicng-serialization version 2.6.0 from the group org.logicng.

    Test

    Download logicng-serialization (2.6.0)
    Artifact logicng-serialization
    Group org.logicng
    Version 2.6.0
    Organization not specified
    URL https://www.logicng.org
    License Apache-2.0
    Dependencies amount 2
    Dependencies logicng, protobuf-java,
    There are maybe transitive dependencies!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of logicng-serialization Show documentation

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

    0 downloads

    Source code of logicng-serialization version 2.6.0

    META-INF
    META-INF.META-INF.MANIFEST.MF
    META-INF.maven.org.logicng.logicng-serialization
    META-INF.maven.org.logicng.logicng-serialization.META-INF.maven.org.logicng.logicng-serialization.pom.properties
    META-INF.maven.org.logicng.logicng-serialization.META-INF.maven.org.logicng.logicng-serialization.pom.xml
    com.booleworks.logicng.collections
    com.booleworks.logicng.collections.com.booleworks.logicng.collections.ProtoBufCollections
    com.booleworks.logicng.formulas
    com.booleworks.logicng.formulas.com.booleworks.logicng.formulas.ProtoBufFormulas
    com.booleworks.logicng.knowledgecompilation.dnnf
    com.booleworks.logicng.knowledgecompilation.dnnf.com.booleworks.logicng.knowledgecompilation.dnnf.ProtoBufDnnf
    com.booleworks.logicng.propositions
    com.booleworks.logicng.propositions.com.booleworks.logicng.propositions.ProtoBufPropositions
    com.booleworks.logicng.solvers
    com.booleworks.logicng.solvers.com.booleworks.logicng.solvers.ProtoBufSatSolver
    com.booleworks.logicng.solvers.datastructures
    com.booleworks.logicng.solvers.datastructures.com.booleworks.logicng.solvers.datastructures.ProtoBufSolverDatastructures
    com.booleworks.logicng.solvers.sat
    com.booleworks.logicng.solvers.sat.com.booleworks.logicng.solvers.sat.ProtoBufSolverCommons
    org.logicng.serialization
    org.logicng.serialization.org.logicng.serialization.Collections
    org.logicng.serialization.org.logicng.serialization.Dnnfs
    org.logicng.serialization.org.logicng.serialization.Formulas
    org.logicng.serialization.org.logicng.serialization.Propositions
    org.logicng.serialization.org.logicng.serialization.ReflectionHelper
    org.logicng.serialization.org.logicng.serialization.SatSolverConfigs
    org.logicng.serialization.org.logicng.serialization.SolverDatastructures
    org.logicng.serialization.org.logicng.serialization.SolverSerializer
    org.logicng.serialization.org.logicng.serialization.SolverWrapperState




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy