Implement idrup incremental proof format
IDRUP proof format is presented in
Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere. Incremental Proofs for Bounded Model Checking. To appear in Proc. 27th GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV'24), ITG-Fachberichte, vol. 314, pages 133-143, VDE Verlag 2024. https://cca.informatik.uni-freiburg.de/papers/FazekasPollittFleuryBiere-MBMV24.pdf
Presentation here: https://kfazekas.github.io/talks/mbmv2024_talk.pdf
The checker is available here: https://github.com/arminbiere/idrup-check