Theory SAT_Replay

(*
  File:     SAT_Replay.thy
  Author:   Manuel Eberl, University of Innsbruck 
*)
section ‹Replaying SAT Proofs›
theory SAT_Replay
  imports Main
begin

text ‹
  This file implements replaying SAT proofs in the DRUP format that were found by an external
  SAT solver and preprocessed with Peter Lammich's GRAT tool.~\cite{lammich_grat}.
›

ML_file ‹array_map.ML›
ML_file ‹sat_replay.ML›

end