search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Add the (experimental cvc5) theory of sequences #116

Closed kjcjohnson closed 8 months ago

kjcjohnson commented 8 months ago

This PR adds the theory of sequences, as well as some updating to handle more variations of parametric sorts.

Reminder for all: seq.empty needs to be used like: (as seq.empty (Seq String)), otherwise it won't resolve correctly!

panda2134 commented 8 months ago

seems good to me. working on my new benchmark