Repository navigation

solver-builds

Public

About

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

Custom properties

0 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
repos		repos
scripts		scripts
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md

Repository files navigation

solver-builds

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

About

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

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages