SMT引擎参数

SMT引擎参数用来置顶求解所用的smt引擎

  • --smt=z3:默认为z3,可选引擎包括:z3,dReal,mathsat,CVC4, 需要注意的是有的引擎可能有局限,对于某些类型的程序完全无法使用