search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
123 stars 34 forks source link

Add Dockerfile for building Linux package #70

Closed romac closed 4 years ago

romac commented 5 years ago