Implementations of the MiniSAT solver skeleton. Various kind of constraints, heuristics (Order) or learning schemes are provided.