3 ms·i thought the SAT solver was a PHP port of libsolv.by johnny22 10y agoi thought the SAT solver was a PHP port of libsolv.