项目描述 ：
BoSy is a reactive synthesis tool based on constraint-solving

高级语言： Swift

项目主页： https://www.react.uni-saarland.de/tools/bosy/

项目地址: git://github.com/reactive-systems/bosy.git

创建时间： 2017-04-25T07:40:00Z
项目社区：https://github.com/reactive-systems/bosy
开源协议：GNU Affero General Public License v3.0
下载