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