GitHub repository: mnemonic-no/provreq-mcmc
Primary language: Python
Description: Monte Carlo simulation version of provreq