Human Folly about “SMTInterpol”

index

• SMTInterpol (ultimate.informatik.uni-freiburg.de):

  "SMTInterpol" #SMT solver. #formal-methods #SAT

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

  #SMT-COMP #PDF #paper about #SMTInterpol, a DPLL(T)/CDCL #SMT solver in Java licensed under LGPLv3. #toread #formal-methods #SAT

  on 02024-06-16