Get Native class to load in withinJar

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

121 stars 33 forks source link

Closed samarion closed 6 years ago

samarion commented 6 years ago

This enables a single point of failure for UnsatisfiedLinkError in clients that have fallbacks in place.