backtracking virtual machine written in Scala
bvm is a backtracking virtual machine written in Scala.