Products
-
2019
PICoSo: An SMT Solver for String Constraints, software, 2019
Authors: HOLÍKOVÁ, L.; JANKŮ, P. -
2018
Sloth: An SMT Solver for String Constraints, software, 2018
Authors: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. -
2017
Gaston - Symbolic WS1S Solver, software, 2017
Authors: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.