gaperez64/acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

C++Stars 4Forks 5Watchers 4Open issues 11License GNU General Public License v3.0

Details

仓库信息

Ownergaperez64

Homepage—

Last pushed2025-12-12

Last updated2025-12-15

Issues fetched at—

Community at a glance