HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
153Updated last week

Related projects

Alternatives and complementary repositories for formulog