Human Folly about “OpenSMT”

index

• OpenSMT (smt-comp.github.io):

  #PDF #paper about the #OpenSMT T-DPLL #SMT solver, which is based on MiniSAT. #SAT #toread #formal-methods

  on 02024-06-16
• OpenSMT (github.com):

  The "OpenSMT" #SMT (#SAT plus theories) solver, one of the 02023 #SMT-COMP winners, under basically an MIT license #formal-methods

  on 02024-06-16