mekty2012/Automated-Theorem-Prover
This repository is practice implementation of various automated theorem prover, including SAT-solver.
KotlinMIT
No issues in this repository yet.
This repository is practice implementation of various automated theorem prover, including SAT-solver.
KotlinMIT
No issues in this repository yet.