PyPI page
Home page
Author:
None
License:
MIT License
Copyright (c) 2024 Sota Sato
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated document...
Summary:
Synthesizing a trace that satisfies a given Signal Temporal Logic (STL) formula.
Latest version:
1.0.2
Required dependencies:
gurobipy
|
matplotlib
|
numpy
|
pandas
|
plotly
|
scipy
Optional dependencies:
black
|
flake8
|
isort
|
mypy
|
pytest
Downloads last day:
2
Downloads last week:
6
Downloads last month:
12