Codegen: support model extraction

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming

https://harvardpl.github.io/formulog/

Apache License 2.0

155 stars 10 forks source link

Closed aaronbembenek closed 1 year ago

aaronbembenek commented 1 year ago

Add Souffle/C++ codegen support for get_model and query_model via a C++ version of SMT-LIB parser
Slightly fix up Java version of SMT-LIB parser