search

rishabhs / sygus-comp14

40 stars 19 forks source link

www.sygus.org #8

Closed siyuanpurdue closed 6 years ago

siyuanpurdue commented 6 years ago

Hi,

The www.sygus.org official website has been down for awhile, is there anyone to fix that? Also, I would appreciate if anyone could provide an official document of sygus syntax.

Best, Siyuan

abhishekudupa commented 6 years ago

It's fixed now. Thanks for the report.