SATGraf

swMATH14761MaRDI QIDQ26658FDOQ26658

Author name not available (Why is that?)

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

Described by source

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

Cited In (10)

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

This page was built for software: SATGraf