Products
-
2019
PICoSo: An SMT Solver for String Constraints, software
Authors: Holíková Lenka, Janků Petr -
2018
Sloth: An SMT Solver for String Constraints, software
Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš -
2017
Gaston - Symbolic WS1S Solver, software
Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš