search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Implement synthesis #17

Closed gaperez64 closed 1 year ago

gaperez64 commented 1 year ago

Currently, acacia-bonsai only does realizability and unrealizability checks. When realizable, it should be easy to spit out a strategy.

gaperez64 commented 1 year ago

@ncharl has a working version of synthesis here https://github.com/ncharl/acacia-bonsai. We'll do some more testing and then have a pull request. #21