Getting Started

Our tool is hosted on Github. Although it is based on Python and Z3, you don’t have to install them – we use Nix to manage all the required dependencies. If you are using Windows, we provide a Docker file that allows you to build our tool easily, which internally invoke Nix.