Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 191 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 191 Bytes

SMTLIB to Prolog Parser

This is a first stab at a SMTLib to Prolog parser. The goal of the parser is to be able to take SMTLib files and manipulate (or interpret!) them as a prolog terms.