SATViz: Real-Time Visualization of Clausal Proofs

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas W\"aldele, Johann Zuber, Tobias Heuer, Ashlin Iser