Open source repositories tagged with #sat, ranked by health score.
:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
