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.