Skip to main content

synth_result_has_solution

cvc5_sys

Function synth_result_has_solution 

Source 
pub unsafe extern "C" fn synth_result_has_solution(
    result: SynthResult,
) -> bool
Expand description

Determine if the given result is from a synthesis query that has a solution. @param result The result. @return True if the synthesis query has a solution.