iSat: Structure Visualization for SAT Problems

TitleiSat: Structure Visualization for SAT Problems
Publication TypeConference Paper
Year of Publication2012
AuthorsOrbe, E, Areces, C, Infante-López, G
Conference NameProceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18)
Date PublishedMarch
Conference LocationMerida, Venezuela
AbstractWe present iSat, a Python command line tool to analyze and find structure in propositional satisfiability problems. iSat offers an interactive shell to control propositional solvers and generate graph representations of the internal structure of the search space explored by them for visualization, with the final aim of providing a unified environment for propositional solving experimentation. iSat was designed to allow the simple integration of both new provers and new visualizationgraphs and statistics with a minimum of coding overhead.
Work Package: