SATGraf

MaRDI QIDQ26658swMATHFDO

Official website https://bitbucket.org/znewsham/satgraf

Described by source

• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers

Cited in

(10)

• Riss
• DPvis
• iSat
• MinisatID
• VIFID/TRIFID
• Hyperbolic graph generator
• Oz Explorer
• DiSCiPl
• Generating SAT instances with community structure
• Visual search tree profiling

This page was built for software: SATGraf