prototyping logic programming in Scala
Scala
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc
project
src
.sbtopts
README.md
build.sbt

README.md

scalogno

Prototyping logic programming in Scala. Presentation with some highlights (PDF).

Setup (for Mac OS X)

  • Install z3: brew install z3
  • Install ScalaZ3, publish it for 2.11.
  • Run the tests: sbt test