Give AlbumentationsX a star on GitHub — it powers this leaderboard
Python bindings to the picosat SAT solver