GitHub repository: H0lzz/PluSAT
Description: PluSAT, a modular SAT solver