https://github.com/HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming

datalog logic-programming smt static-analysis symbolic-execution

Last synced: 04 Apr 2025