Simple console SAT-solver that utilizes DPLL algorithm and DIMACS input format
Primary LanguageF#MIT LicenseMIT