• ArithKinds : CVC3
• ArithLang : CVC3
• ArrayKinds : CVC3
• BVKinds : CVC3
• Cardinality : CVC3
• CLFlagType : CVC3
• DatatypeKinds : CVC3
• ExprValueType : CVC3
• FormulaValue : CVC3
• InputLanguage : CVC3
• Polarity : CVC3
• QueryResult : CVC3
• RecordKinds : CVC3
• UFKinds : CVC3