Human Folly about “Yices2”

index

• (yices.csl.sri.com):

  #SMT-COMP winner "Yices2" #SMT #SAT #formal-methods

  on 02024-06-16
• Yices2 (smt-comp.github.io):

  #PDF #SMT-COMP paper about the #Yices2 CDCL(T) #SMT solver, which supports three different #SAT solver backends: CaDiCaL, CryptoMiniSat, and Kissat. #formal-methods

  on 02024-06-16