Home » com.gitlab.cdc-java.applic » cdc-applic-proofs-core » Usages

Artifacts using CDC Applic Proofs Core (11)
Sort by:Popular▼

1. CDC Applic Simplification Core5 usages

com.gitlab.cdc-java.applic » cdc-applic-simplification-coreGPL

Applicabilities Simplification Core.
Last Release on Nov 16, 2025

2. CDC Applic Projections Core5 usages

com.gitlab.cdc-java.applic » cdc-applic-projections-coreGPL

Applicabilities Projections Core.
Last Release on Nov 16, 2025

3. CDC Applic Consistency Core3 usages

com.gitlab.cdc-java.applic » cdc-applic-consistency-coreGPL

Applicabilities Consistency Core.
Last Release on Nov 16, 2025

4. CDC Applic Dictionaries Core Constraints3 usages

com.gitlab.cdc-java.applic » cdc-applic-dictionaries-core-constraintsGPL

Applicabilities Dictionaries Core Constraints.
Last Release on Nov 16, 2025

5. CDC Applic Tools2 usages

com.gitlab.cdc-java.applic » cdc-applic-toolsGPL

Applicabilities Tools.
Last Release on Nov 16, 2025

6. CDC Applic Dictionaries Core Writing Checks2 usages

com.gitlab.cdc-java.applic » cdc-applic-dictionaries-core-writing-checksGPL

Applicabilities Dictionaries Core Writing Checks.
Last Release on Nov 16, 2025

7. CDC Applic Factorization Core2 usages

com.gitlab.cdc-java.applic » cdc-applic-factorization-coreGPL

Applicabilities Factorization.
Last Release on Nov 16, 2025

8. CDC Applic Predicates1 usages

com.gitlab.cdc-java.applic » cdc-applic-predicatesGPL

Applicabilities Predicates.
Last Release on Nov 16, 2025

9. CDC Applic Pseudo Clauses1 usages

com.gitlab.cdc-java.applic » cdc-applic-pclausesGPL

Applicabilities Pseudo Clauses.
Last Release on Nov 16, 2025

10. CDC Applic Benches1 usages

com.gitlab.cdc-java.applic » cdc-applic-benchesGPL

Applicabilities Benches.
Last Release on Nov 16, 2025