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 is the database for available packages