Adds EXTRAORDINARILY Installable implementation
We want the simplest satisfiability solver we can have, but one that chases transitive dependencies. This one only checks the requested packages exist in the availability database.
This commit is contained in: