iSat: Structure Visualization for SAT Problems. We present iSat, a Python command line tool to analyze and find structure in propositional satisfiability problems. iSat offers an interactive shell to control propositional SAT 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 enable simple integration of both new SAT solvers and new visualization graphs and statistics with a minimum of coding overhead.
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Newsham, Zack; Lindsay, William; Ganesh, Vijay; Liang, Jia Hui; Fischmeister, Sebastian; Czarnecki, Krzysztof: $\mathsf SATGraf$: visualizing the evolution of SAT formula structure in solvers (2015)
- Orbe, Ezequiel; Areces, Carlos; Infante-López, Gabriel: iSAT: structure visualization for SAT problems (2012) ioport
- Eggers, Andreas; Ramdani, Nacim; Nedialkov, Nedialko; Fränzle, Martin: Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods (2011)