/SimpleSATc

Simple SAT solver using the DPLL algorithm

Primary LanguageC

This repository is not active