issues
search
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
Some cleanup (mostly unused codegen stuff).
#67
Closed
aaronbembenek
closed
1 year ago