ProofTool GUI for the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal Martin Riener Mikheil Rukhaia Daniel Wellert Bruno Woltzenlogel Paleo cdunchey leitsch shaolin riener mrukhaia weller bruno logic at Institute of Computer Languages E185 Institute of Discrete Mathematics and Geometry F104 Vienna University of Technology Abstract This paper describes an implementation and the features of a proof viewer which fulfills the role of a graphical user int
GAPT General Architecture for Proof Theory User manual Version 1 11 SNAPSHOT December 15 2015 GAPT User Manual List of Corrections Contents 1 Introduction 2 Download and execution 2 1 System requirements 2 2 3 Data structures 31 Formulas oioorisrrsdrs or rs ehe eb an Be II a Be et ed 4 Feature walkthrough 4 1 SAT solver interface o ce dorre ioi on ian a a e 4 2 MaxSAT solver interface e 4 3 SMT solver interfac