MarkusRabe / cadet

A fast and certifying solver for quantified Boolean formulas.
27Updated 11 months ago

Alternatives and similar repositories for cadet:

Users that are interested in cadet are comparing it to the libraries listed below