cdc.applic.proofs.ProverMatching Maven / Gradle / Ivy
The newest version!
package cdc.applic.proofs;
public enum ProverMatching {
NEVER,
SOMETIMES,
ALWAYS
}package cdc.applic.proofs;
public enum ProverMatching {
NEVER,
SOMETIMES,
ALWAYS
}