Human Folly about “Bitwuzla”

(bitwuzla.github.io):
The "Bitwuzla" #SMT solver, one of the 02023 #SMT-COMP winners, is also under an MIT license. #formal-methods
on 02024-06-16
Bitwuzla (smt-comp.github.io):
#PDF #paper about the #Bitwuzla #SMT solver at #SMT-COMP, a C++ rewrite of a fork of Boolector. #SAT #toread #formal-methods
on 02024-06-16