Match syntax #22
Description
Simon Cruanes made a certain amount of suggestions in a mail on Mai 18, 2021, that we have to consider for SMT-LIB 3.0.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
Simon Cruanes made a certain amount of suggestions in a mail on Mai 18, 2021, that we have to consider for SMT-LIB 3.0.