Getting Started¶
Download the Prebuilt lityc¶
See Lity releases for the latest release.
Dependencies¶
- Ubuntu 16.04:
apt install libz3-dev
Releases¶
| Version | Platform |
|---|---|
| v1.2.3 | |
| v1.2.2 | |
| v1.1.1 |
Or, if you prefer to compile lity yourself, please refer to developer’s guide.