Human Folly about “iProver”

index

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

  #SMT-COMP #PDF #paper about #iProver. #toread #formal-methods #SMT #SAT

  on 02024-06-16
• iProver (gitlab.com):

  #SMT-COMP winner "iProver" is a first-order theorem prover written in OCaml licensed under GPL2+. It wraps #Z3 and #Minisat #SAT solvers. #formal-methods #SMT

  on 02024-06-16