Download cdc-applic-proofs-core JAR file with all dependencies
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.13.2)
Applicabilities Proofs Core.
Group: com.gitlab.cdc-java.applic Artifact: cdc-applic-proofs-core
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.13.2
Last update 23. July 2024
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.2
Last update 23. July 2024
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!
Page 1 from 1 (items total 1)