uuverifiers/uppsat

Issues

• MathSat not avaiable as online solver

  #3 opened 6 years ago by ptrbman
  0

• Chosen backend is stored as strings instead of a solver

  #2 opened 6 years ago by ptrbman
  0

• water_pid_true-unreach-call.c_372.smt2 error

  #1 opened 6 years ago by ptrbman
  0