4 ms·
> I mean, HN likes to be very dismissive of PHP but at the same Composer (the de-facto PHP package manager) avoids dependency conflicts entirely and provably be
by splintercell 10y ago
> I mean, HN likes to be very dismissive of PHP but at the same Composer (the de-facto PHP package manager) avoids dependency conflicts entirely and provably because it contains a home-cooked SAT solver[1]. In PHP. Tackling an NP-complete problem without breaking a sweat. <
Any idea where can I find more details on that. The slideshow you linked does not provide enough information.
- skrebbel 10y agoI wish I did! I can't remember how I learned that it's SAT based and google isn't very forthcoming :-(
- terminado 10y agoProbably because most Google searches for "SAT" involve prep courses that help you achieve a score of 1600... [._.] On the other hand, jargon searching wikipedia helps narrow results: https://en.wikipedia.org/wiki/Boolean_satisfiability_problem https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
- johnny22 10y agoi thought the SAT solver was a PHP port of libsolv.