Tieto SAT-solvery sú voľne šíriteľné.

Boli trochu pozmenené,
aby podporovali veci typu timeout
a vypisovali iba kladne ohodnotené premenné.
