[Bug 1599012] Review Request: cadical - Simplified SAT solver