The SyGuS checkers do not seem to recognize `((as const (Array ... ...) ...)` constructs. That prevents us from importing the UCLID5-generated benchmarks available here: https://github.com/FedericoAureliano/synthesis-benchmarks/tree/master/sygus-if
The SyGuS checkers do not seem to recognize
((as const (Array ... ...) ...)constructs. That prevents us from importing the UCLID5-generated benchmarks available here: https://github.com/FedericoAureliano/synthesis-benchmarks/tree/master/sygus-if