/tinySAT

tiny SAT solver

Primary LanguageC++

tinySAT

Tiny SAT solver interface and dpll algo using modern C++

Installation

$ git clone https://github.com/Egor2001/tinySAT.git
$ cd tinySAT
$ mkdir build && cd build
$ cmake .. && make

Generating miscellanea

Documentation (requires Doxygen to be installed)

Docs in html format are placed in the docs/ directory

$ make docs

Tags (requires CTags to be installed)

Tags are placed in the tags/ directory

$ make tags

Used projects

  • spdlog logger library: github
  • google test framework: github

Contacts