HarvardPL/formulog

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

语言：Java · GitHub 星标：181 · Fork：11

话题：datalog · logic-programming · smt · static-analysis · symbolic-execution

在 GitHub 上查看原仓库