phheim/issy

Issy is a tool for automatically synthesizing infinite-state reactive programs.

语言：Haskell · GitHub 星标：4 · Fork：3

话题：infinite-state-systems · reactive-synthesis

在 GitHub 上查看原仓库