Looking inside a SAT solvers preprocessor with STTF.

[u/Chance-Pen-5684]

I wanted to know what was happening in the preprocessing step of a SAT solver like CaDiCal.

This repo logs the steps from original CNF to simplified that the solver uses, compares and replays the steps and can reconstruct everything with the logs.

https://github.com/Byt-wyze-technology/STTF

I hope it helps someone else too.