Z3.props
Z3_CE.props
Z3_FloatingPoint.props
Z3_legacy.props
CVC5.props
Princess.props
CVC4.props
CVC4_legacy.props
