PyPI page
Home page
Author:
Samuel Christie
License:
MIT
Summary:
Protocol verification tool for BSPL
Latest version:
1.1.0
Required dependencies:
agentspeak
|
aiocron
|
aiorun
|
colorama
|
croniter
|
fire
|
ijson
|
pyyaml
|
simplejson
|
tatsu
|
ttictoc
|
uvloop
Optional dependencies:
agentspeak
|
boolexpr
|
numpy
|
pandas
|
pytest
|
pytest-asyncio
|
scipy
|
spearmint
Downloads last day:
2
Downloads last week:
13
Downloads last month:
43
7-day smoothing