This is a screenshot for the software QSapecNG. Symbolic analysis made easy. QSapecNG is a Qt-based program