PyPI page
Home page
Author:
None
License:
GNU GENERAL PUBLIC LICENSE
Version 3, 29 June 2007
Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
Everyone is permitt...
Summary:
PAYNT - Probabilistic progrAm sYNThesizer
Latest version:
0.3.0
Required dependencies:
click
|
graphviz
|
psutil
|
stormpy
|
z3-solver
Optional dependencies:
black
|
matplotlib
|
nbval
|
numpy
|
pytest
|
scipy
Downloads last day:
2
Downloads last week:
72
Downloads last month:
633