Autotune
Autotune helps to find the fastest solver for your properties
Tabby CAD Suite version 20220706 released!
Autotuning formal verification engine selection, tribuf blogpost.
Formal Tristate Support
Sby now supports trisates in formal proofs