Bica (Boolean simplifier for non-clausal formulae) Forqes (Formula Quintessence extractor) Hyper (Hypotheses finder) Mint (Minimum Satisfying Assignment extractor) MinUC (Minimum Unsatisfiable Core finder) mkplot (a Python script to create cactus and scatter plots based on matplotlib) MSCG (Core-guided MaxSAT solver) PackUpHyb (Hybrid Package Upgradability solver) PySAT (a toolkit for SAT-based prototyping in Python)