Giters

ayberkt / resolution

A tiny implementation of logical resolution.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

satisfiability-solverlogicresolutionpropositional-logic

resolution

A tiny implementation of logical resolution.

About

A tiny implementation of logical resolution.

satisfiability-solverlogicresolutionpropositional-logic

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:OCaml 94.4%Language:Makefile 5.6%