Skip to content

Improvements

Viktor Kuncak requested to merge improvements into main

Created by: SimonGuilloud

Corrections and improvement to the propositional solver. Correct an issue in the kernel proof checker that could lead to a crash Encapsulate the output and finishOutput implicit functions.

Merge request reports