GitHub repository: niklaslorenz/qpra
Primary language: Java
Created: 2022-04-23T14:32:57Z
Description: The Quantified Program Reader is a converter for different file formats of quantified programs