roberthoenig/FirstOrderLogic.jl

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

语言：Julia · GitHub 星标：18 · Fork：6

话题：first-order-logic · julia · logic · satisfiability-solver

在 GitHub 上查看原仓库