A Python API for the MiniSat and MiniCard constraint solvers.