Build infrastructure for solvers to use with Dafny (and other Boogie clients)
Primary LanguageShellMIT LicenseMIT