All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download cdc-applic-proofs-core JAR 0.13.3 with all dependencies

Applicabilities Proofs Core.

Files of the artifact cdc-applic-proofs-core version 0.13.3 from the group com.gitlab.cdc-java.applic.

Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.13.3
Last update 28. September 2024
Tags: core proofs applicabilities
Organization not specified
URL https://www.gitlab.com/cdc-java/cdc-applic
License not specified
Dependencies amount 8
Dependencies cdc-applic-dictionaries, cdc-applic-dictionaries-core, cdc-applic-expressions, cdc-applic-proofs, cdc-util-core, org.ow2.sat4j.core, log4j-api, log4j-iostreams,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of cdc-applic-proofs-core Show documentation

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

0 downloads

Source code of cdc-applic-proofs-core version 0.13.3

META-INF

META-INF.META-INF.MANIFEST.MF

META-INF.maven.com.gitlab.cdc-java.applic.cdc-applic-proofs-core

META-INF.maven.com.gitlab.cdc-java.applic.cdc-applic-proofs-core.META-INF.maven.com.gitlab.cdc-java.applic.cdc-applic-proofs-core.pom.properties

META-INF.maven.com.gitlab.cdc-java.applic.cdc-applic-proofs-core.META-INF.maven.com.gitlab.cdc-java.applic.cdc-applic-proofs-core.pom.xml

cdc.applic.proofs.core

cdc.applic.proofs.core.cdc.applic.proofs.core.SatSystemSolver

cdc.applic.proofs.core.cdc.applic.proofs.core.SatSystemSolverFactory

cdc.applic.proofs.core.ast

cdc.applic.proofs.core.ast.cdc.applic.proofs.core.ast.AbstractAtomNode

cdc.applic.proofs.core.ast.cdc.applic.proofs.core.ast.AtomIntegerRangeNode

cdc.applic.proofs.core.ast.cdc.applic.proofs.core.ast.AtomRealRangeNode

cdc.applic.proofs.core.ast.cdc.applic.proofs.core.ast.AtomReserveNode

cdc.applic.proofs.core.ast.cdc.applic.proofs.core.ast.AtomValueNode

cdc.applic.proofs.core.ast.cdc.applic.proofs.core.ast.AtomVarNode

cdc.applic.proofs.core.clauses

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.Clause

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.DictionarySentencesCache

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.Literal

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.Numbering

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.PropagateUnitClauses

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.ProverImpl

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.SatSystem

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.Sentence

cdc.applic.proofs.core.clauses.cdc.applic.proofs.core.clauses.SentenceBuilder

cdc.applic.proofs.core.encoding

cdc.applic.proofs.core.encoding.cdc.applic.proofs.core.encoding.BinaryEncoder

cdc.applic.proofs.core.encoding.cdc.applic.proofs.core.encoding.BinomialEncoder

cdc.applic.proofs.core.encoding.cdc.applic.proofs.core.encoding.CommanderEncoder

cdc.applic.proofs.core.encoding.cdc.applic.proofs.core.encoding.Encoder

cdc.applic.proofs.core.encoding.cdc.applic.proofs.core.encoding.Encoders

cdc.applic.proofs.core.encoding.cdc.applic.proofs.core.encoding.HeuleEncoder

cdc.applic.proofs.core.sat

cdc.applic.proofs.core.sat.cdc.applic.proofs.core.sat.SatSolver

cdc.applic.proofs.core.sat.cdc.applic.proofs.core.sat.SatSolverFactory

cdc.applic.proofs.core.sat4j

cdc.applic.proofs.core.sat4j.cdc.applic.proofs.core.sat4j.Sat4jSolver

cdc.applic.proofs.core.sat4j.cdc.applic.proofs.core.sat4j.Sat4jSystemSolver

cdc.applic.proofs.core.utils

cdc.applic.proofs.core.utils.cdc.applic.proofs.core.utils.CNFUtils

cdc.applic.proofs.core.utils.cdc.applic.proofs.core.utils.PropertyDefinition

cdc.applic.proofs.core.visitors

cdc.applic.proofs.core.visitors.cdc.applic.proofs.core.visitors.ContainsAtomVar

cdc.applic.proofs.core.visitors.cdc.applic.proofs.core.visitors.ConvertToAtoms

cdc.applic.proofs.core.visitors.cdc.applic.proofs.core.visitors.ConvertToTseitin

cdc.applic.proofs.core.visitors.cdc.applic.proofs.core.visitors.EliminateAlwaysTrueOrFalse

cdc.applic.proofs.core.visitors.cdc.applic.proofs.core.visitors.EliminateRedundantSiblings

© 2015 - 2024 Weber Informatics LLC | Privacy Policy