HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
156Updated 5 months ago

Alternatives and similar repositories for formulog:

Users that are interested in formulog are comparing it to the libraries listed below