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