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

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

Search JAR files by class name

cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.9.0)

Applicabilities Proofs Core.

Group: com.gitlab.cdc-java.applic Artifact: cdc-applic-proofs-core
Show all versions Show documentation Show source 
 

0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.9.0
Last update 29. January 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)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy