Support for z3lib JNI
As z3 provides the use of a JNI tot he z3lib, this should be provided as an alternative (or even preferred) way to access z3. It does not only speed up the call of z3 (no additional parsing of a textual file), but also also to reused previous computational results by keeping (or piping) a previous proof state.
(from redmine: issue id 2101, created on 2014-08-04, closed on 2016-01-25)
- Relations:
- child #2116 (closed)