GitHub repository: timo92/play-z3-test
Primary language: Scala
Created: 2016-11-04T20:56:30Z
Description: Minimal play application using z3 prover from microsoft for testing platform compatibility espacially ubuntu 16.04