ayberkt/resolution

A tiny implementation of logical resolution.

语言：OCaml · GitHub 星标：3 · Fork：0

话题：logic · propositional-logic · resolution · satisfiability-solver

在 GitHub 上查看原仓库