search

SemGuS-git / Semgus-Parser

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

Fix sexpr set-info handling (and add tests) #102

Closed kjcjohnson closed 1 year ago

kjcjohnson commented 1 year ago

Fixes #101.