SyGuS?

20 views
Skip to first unread message

Dennis Yurichev

unread,
Nov 14, 2023, 11:01:38 AM11/14/23
to SMT-LIB
Hi all!

Is SyGuS evolving?
I see on starexec that latest files are under the 'SyGuS-Comp17' folder.
Wasn't there competitions since then?
Or SyGuS was evolved into something different?
Or failed?
The sygus.org website isn't pingable (as of today).

Aaron Stump

unread,
Nov 15, 2023, 12:20:13 AM11/15/23
to smt...@googlegroups.com, dennis....@gmail.com
Hi, Dennis.  I notice that on StarExec, there is a SyGuS-Comp19 folder, but it is not public.  
Best,
Aaron

--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/000c6eec-d1e6-4ad7-b062-6a35bb4a8dffn%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages