PyPI page
Home page
Author:
Guillermo A. Perez, Michael Cadilhac
License:
GNU GENERAL PUBLIC LICENSE
Version 3, 29 June 2007
Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
Everyone is permit...
Summary:
Python bindings for Acacia-Bonsai, an antichain-based LTL synthesis and safety-game solver
Latest version:
2.5.1
Downloads last day:
16
Downloads last week:
110
Downloads last month:
2,265
7-day smoothing