Add missing method in the CVC5 abstract prover
@@ -262,4 +262,9 @@ public class CVC5AbstractProver<T> extends AbstractProverWithAllSat<T> {
closed = true;
}
}
+
+ @Override
+ public int size() {
+ return assertedFormulas.size() - 1;
+ }
}
