SAT Solving with the CaDiCaL SAT Solver | Parker Ziegler | ObservableSAT Solving with the CaDiCaL SAT Solver | Parker Ziegler | Observable