MiniSat+ is a two-week hack done to enable Pseudo-Boolean constraints in MiniSat.
anaconda login
conda install asmeurer::minisat-plus