GitHub repository: m-carrasco/smt-dafny-compiler
Primary language: C#
Description: An SMT compiler for testing the Dafny verification toolchain