Add stainless-scalac-standalone build which produces a (very) fat jar that can in principle be distributed by itself, depending only on the JRE and (Z3 or CVC4) being installed
Add stainless-scalac-standalone build which produces a (very) fat jar that can in principle be distributed by itself, depending only on the JRE and (Z3 or CVC4) being installed

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless