Artifact supplement for R. Andriushchenko et. al. 'PAYNT: A Tool for Inductive Synthesisof Probabilistic Programs', CAV 2021

PAYNT (Probabilistic progrAm sYNThesizer) is a tool for the automated synthesis of probabilistic programs. PAYNT takes a program with holes (a so-called sketch) and a PCTL specification, and outputs a concrete hole assignment that yields a satisfying program, if such an assignment exists. Internally, PAYNT interprets the incomplete probabilistic program as a family of Markov chains and uses state-of-the-art synthesis methods on top of the model checker Storm (https://github.com/moves-rwth/storm) to identify satisfying realization. PAYNT is implemented in python and uses Stormpy (https://github.com/moves-rwth/stormpy), python bindings for Storm. This repository contains the source code of PAYNT along with adaptations for Storm and Stormpy, prerequisites for PAYNT. PAYNT is hosted on https://github.com/gargantophob/synthesis.