Teaching

VTSA Summer School

You can find slides here. I am not sure how much can be understood without me talking above the slides.

The first exercise is about probing and you can download the source code here. It is CaDiCaL where I removed probing and LRAT proofs.

For the second part, please use this, which requires CaDiCaL.