References The SMT-lib standards and software collection yinyang yinyang input file specification CVC5 developer guide Z3 configuration guide