Source: /wikibot/sat-solver

= SAT solver
{wiki=SAT_solver}