Introduce CPP 003 "SAT solver abstraction interface".