Bellmaniac compiler You need Z3 to run the compiler. Set smt.home to point to the solver installation directory. The compiler is written in Scala: ./sbt update "runMain Floyd" Slides are here.