PyPI page
Home page
Author:
None
License:
GPLv3
Summary:
An SMT-based bounded model checker for signal temporal logic
Latest version:
1.0.0.dev3
Required dependencies:
antlr4-python3-runtime
|
bokeh
|
numpy
|
scipy
|
sympy
|
termcolor
|
yices
|
z3-solver
Downloads last day:
20
Downloads last week:
32
Downloads last month:
52