/play-z3-test

Minimal play application using z3 prover from microsoft for testing platform compatibility espacially ubuntu 16.04

Primary LanguageScalaOtherNOASSERTION

No issues in this repository yet.