Pithya is a tool for parameter synthesis of ODE-based models and properties based on a hybrid extension of CTL.
To try Pithya online, visit pithya.fi.muni.cz. In case of any problems/questions, feel free to contact us at sybila@fi.muni.cz.
To run Pithya, you need to have Java 8+ and Microsoft Z3 4.5.0 and R installed. If your OS is supported, we strongly recommend downloading precompiled Z3 binaries from github (Pithya allows you to specify a custom Z3 location, so you don't necessarily need to have it in your PATH, but we recommend doing that anyway).
The full installation process for the GUI is described in the manual. You can also use Pithya from command line. For more information, see the core module repository.
Pithya is composed of several independent modules. Here you can find links to them and their current status:
