HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
155Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for formulog