pub type SynthResult = *mut cvc5_synth_result_t;Expand description
Encapsulation of a solver synth result.
This is the return value of the API functions:
- cvc5_check_synth()
- cvc5_check_synth_next()
which we call “synthesis queries”. This class indicates whether the synthesis query has a solution, has no solution, or is unknown.