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.0.17
Downloads last day:
30
Downloads last week:
324
Downloads last month:
1,665