of course this is only half the battle since the `z3 jar` wr kotlinlang #kobalt

of course this is only half the battle, since the ...

groostav

10/18/2017, 9:29 AM

of course this is only half the battle, since the

z3.jar

wraps

javaZ3.dll

which wraps

Microsoft.z3.dll

, which causes an unsatisfied link error because when the java wrapper tries to hit its native cousin, then my

/lib

folder isnt on the

PATH

2 Views