/Automated-Theorem-Prover

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

Primary LanguageKotlinMIT LicenseMIT

No issues in this repository yet.