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.
kyessenov/bellmaniac
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.