search

appleseedlab / superc

The SuperC Parsing Framework
24 stars 4 forks source link

installation docs: fix libz3-java version #168

Closed necipfazil closed 2 years ago

necipfazil commented 2 years ago

Latest version of libz3-java version (4.8.17 at the time of testing) results in compatibility issues. Use 4.8.7-4build1 instead.

necipfazil commented 2 years ago

Fixes https://github.com/appleseedlab/superc/issues/167