{"package":"acacia-boomslang","ecosystem":"pypi","exists":true,"latest_version":"2.0.17","repository":"https://github.com/gaperez64/acacia-bonsai","license":"GPL-3.0","description":"Python bindings for Acacia-Bonsai, an antichain-based LTL synthesis and safety-game solver","downloads_weekly":302,"deprecated":false,"health":{"score":58},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}