Hacker News new | ask | show | jobs
by scheme271 571 days ago
Totally possible. Some dependency resolvers use a sat solver. The speed depends on the solver and optimizations in the solver vs resolver.