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
Minor performance tweaks
#50
Closed
aaronbembenek
closed
1 year ago