Original title: Vizualizace výsledků SMT řešičů
Translated title: Visualization of SMT solvers results
Authors: Bobeničová, Michaela ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
Document type: Bachelor's theses
Year: 2023
Language: slo
Abstract: [eng] [cze]
Nowadays, SMT solvers are used for solving various problems in multiple fields. Therefore, it makes sense to optimize their speed depending on the size and type of the problems. However, going over and comparing results in tables containing information of the runs of the solvers is impractical. The goal of this thesis is creating a graphical interface for simplifying the analysis of the performance of the solvers. It has a form of a web application. It allows a solver developer to compare performance of multiple solvers on given problem sets. The interface contains visualizations of the performance in the form of interactive plots and tables. V súčasnej dobe sa SMT riešiče používajú na riešenie rôznych úloh z mno- hých oblastí. Má teda zmysel optimalizovať ich rýchlosť v závislosti od veľ- kosti a typu problémov. Avšak prechádzať a porovnávať tabuľky s výsledkami behov riešičov je nepraktické. Úlohou tejto práce je vytvoriť grafické prostre- die vo forme webovej aplikácie na analýzu výkonu SMT riešičov. Cieľom je umožniť vývojárovi riešiča porovnať výkon viacerých riešičov na konkrétnych voliteľných problémoch. Grafické prostredie obsahuje vizualizácie výkonu v interaktívnych grafoch a tabuľkách.
Keywords: SMT|visualization|solvers|comparison|web application; SMT|vizualizácia|riešiče|porovnanie|webová aplikácia

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/183082

Permalink: http://www.nusl.cz/ntk/nusl-532536


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses