search

sillydan1 / expr

Simple variable and environment manipulation language
MIT License
1 stars 0 forks source link

Z3 driver should be dynamically linked #13

Closed sillydan1 closed 1 year ago

sillydan1 commented 2 years ago

If I want to provide binary releases, the z3 dependency should be dynamically linked.