search

SemGuS-git / Semgus-Parser

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

SMT-LIB2 format and JSON converter #31

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

Just going to merge this in to main now, since this is a complete overhaul. Create new issues for anything that needs cleanup.