Tiny SAT solver interface and dpll algo using modern C++
$ git clone https://github.com/Egor2001/tinySAT.git
$ cd tinySAT
$ mkdir build && cd build
$ cmake .. && make
Docs in html format are placed in the docs/ directory
$ make docs
Tags are placed in the tags/ directory
$ make tags
- telegram: @geome_try
- mail: