Home » com.gitlab.cdc-java.applic » cdc-applic-proofs-core » Used By

CDC Applic Proofs Core

Applicabilities Proofs Core.

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

1.CDC Applic Simplification Core5 usages

com.gitlab.cdc-java.applic » cdc-applic-simplification-core GPL

Applicabilities Simplification Core.
Last Release on Aug 30, 2026

2.CDC Applic Projections Core5 usages

com.gitlab.cdc-java.applic » cdc-applic-projections-core GPL

Applicabilities Projections Core.
Last Release on Aug 30, 2026

3.CDC Applic Dictionaries Core Constraints3 usages

com.gitlab.cdc-java.applic » cdc-applic-dictionaries-core-constraints GPL

Applicabilities Dictionaries Core Constraints.
Last Release on Aug 30, 2026

4.CDC Applic Consistency Core3 usages

com.gitlab.cdc-java.applic » cdc-applic-consistency-core GPL

Applicabilities Consistency Core.
Last Release on Nov 16, 2025

5.CDC Applic Dictionaries Core Writing Checks2 usages

com.gitlab.cdc-java.applic » cdc-applic-dictionaries-core-writing-checks GPL

Applicabilities Dictionaries Core Writing Checks.
Last Release on Aug 30, 2026

6.CDC Applic Factorization Core2 usages

com.gitlab.cdc-java.applic » cdc-applic-factorization-core GPL

Applicabilities Factorization.
Last Release on Aug 30, 2026

7.CDC Applic Tools2 usages

com.gitlab.cdc-java.applic » cdc-applic-tools GPL

Applicabilities Tools.
Last Release on Aug 30, 2026

8.CDC Applic Predicates1 usages

com.gitlab.cdc-java.applic » cdc-applic-predicates GPL

Applicabilities Predicates.
Last Release on Aug 30, 2026

9.CDC Applic Benches1 usages

com.gitlab.cdc-java.applic » cdc-applic-benches GPL

Applicabilities Benches.
Last Release on Aug 30, 2026

10.CDC Applic Pseudo Clauses1 usages

com.gitlab.cdc-java.applic » cdc-applic-pclauses GPL

Applicabilities Pseudo Clauses.
Last Release on Aug 30, 2026