Human Folly about “Vampire”

index

• (vprover.github.io):

  #SMT-COMP winner "Vampire" is under a 3-clause BSD license. #SMT #SAT #formal-methods

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

  #SMT-COMP #PDF #paper about #Vampire, a first-order theorem prover. #toread #formal-methods #SMT #SAT

  on 02024-06-16