Make RPI work with UncheckedInference
Make ProofExporterVeriT export unchecked inference
Rename LowerUnits
Adapt LowerUnits for UncheckedInference
Add more algorithms
Add custom run tasks
Adapt CLI description to new custom run task
Fix typos
Move MultiSplit to a separat file
Clean and rename DAGify and make it work with UncheckedInference
Make split work with unchecked inferences
Rename ProofCompressor
Adapt MultiSplit and variants of RPILU to work with UncheckedInference
Adapt R&R to UncheckInference
Make VeriT's proof parser parse formulas correctly
Clean
Implement AppRec
Improve toString of App
Add support for equality
Add proof exporter for Skeptik's format