/janus

A tool for testing SMT solvers for incompleteness bugs

Primary LanguagePythonMIT LicenseMIT

Stargazers