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.
-
Notifications
You must be signed in to change notification settings - Fork 0
npe9/smt-pl
About
smtlib to prolog term parser.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published