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!
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 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.maven.com.gitlab.cdc-java.applic.cdc-applic-proofs-core
cdc.applic.proofs.core
cdc.applic.proofs.core.ast
cdc.applic.proofs.core.clauses
cdc.applic.proofs.core.encoding
cdc.applic.proofs.core.sat
cdc.applic.proofs.core.sat4j
cdc.applic.proofs.core.utils
cdc.applic.proofs.core.visitors
© 2015 - 2024 Weber Informatics LLC | Privacy Policy