PyPI page
Home page
Author:
Geunyeol Yu
License:
GPLv3
Summary:
An SMT-based bounded model checker for signal temporal logic
Latest version:
1.0.1.dev3
Required dependencies:
antlr4-python3-runtime
|
bokeh
|
numpy
|
scipy
|
sympy
|
yices
|
z3-solver
Downloads last day:
1
Downloads last week:
76
Downloads last month:
69
7-day smoothing