antonping/prune-lang

Prune is a constraint logic programming language with branching heuristic.

语言：Rust · GitHub 星标：45 · Fork：3

话题：constraint-logic-programming · functional-programming · logic-programming · smt-solver

在 GitHub 上查看原仓库