Download all versions of cdc-applic-proofs-core JAR files with all dependencies
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.13.2)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.13.2
Last update 23. July 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.2
Last update 23. July 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.13.1)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.13.1
Last update 21. July 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.1
Last update 21. July 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.13.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.13.0
Last update 29. June 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.0
Last update 29. June 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.12.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.12.0
Last update 20. May 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.12.0
Last update 20. May 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.11.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.11.0
Last update 11. May 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.11.0
Last update 11. May 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.10.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.10.0
Last update 17. April 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.10.0
Last update 17. April 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.9.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.9.0
Last update 29. January 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.9.0
Last update 29. January 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.8.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.8.0
Last update 01. January 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.8.0
Last update 01. January 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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.7.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.7.0
Last update 25. November 2023
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.7.0
Last update 25. November 2023
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!
cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.6.0)
Applicabilities Proofs Core.
0 downloads
Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.6.0
Last update 23. July 2023
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.6.0
Last update 23. July 2023
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!
Page 1 from 2 (items total 15)