pub type Cvc5Grammar = *mut cvc5_grammar_t;Expand description
A Sygus Grammar. This can be used to define a context-free grammar
of terms. Its interface coincides with the definition of grammars
(GrammarDef) in the SyGuS IF 2.1 standard.
pub type Cvc5Grammar = *mut cvc5_grammar_t;A Sygus Grammar. This can be used to define a context-free grammar
of terms. Its interface coincides with the definition of grammars
(GrammarDef) in the SyGuS IF 2.1 standard.