get_smt_solver

taco_cli::cli

Function get_smt_solver 

Source 
pub(crate) fn get_smt_solver(
    smt_config: SMTSolverDefaultOptions,
) -> SMTSolverBuilderCfg
Expand description

Get SMT solver configuration based on selected solver