Automated-Theorem-Prover

This repository is practice implementation of various automated theorem prover, including SAT-solver.

Global TODO

2. Add tests for SAT-solver

3. Presburger Arithmetic solver

4. Add auto (tactic in Coq)

5. Add First Order Logic Solver

   See Logic for Computer Science: Foundation of Automatic Theorem Proving