SMTS swMATH ID: 29289 Software Authors: Marescotti, Matteo; Hyvärinen, Antti E. J.; Sharygina, Natasha Description: SMTS: distributed, visualized constraint solving. The inherent complexity of parallel computing makes development, resource monitoring, and debugging for parallel constraint-solving-based applications difficult. This paper presents SMTS, a framework for parallelizing sequential constraint solving algorithms and running them in distributed computing environments. The design (i) is based on a general parallelization technique that supports recursively combining algorithm portfolios and divide-and-conquer with the exchange of learned information, (ii) provides monitoring by visually inspecting the parallel execution steps, and (iii) supports interactive guidance of the algorithm through a web interface. We report positive experiences on instantiating the framework for one SMT solver and one IC3 solver, debugging parallel executions, and visualizing solving, structure, and learned clauses of SMT instances. Homepage: https://easychair.org/publications/paper/k7BQ Keywords: algorithm portfolios; distributed IC3; distributed SMT; divide and conquer; web-based GUI Related Software: OpenSMT2; TreeAutomizer; MathSAT5; StarExec; Yices; APT; PKind; Chaff Cited in: 2 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year SMTS: distributed, visualized constraint solving. Zbl 1415.68197Marescotti, Matteo; Hyvärinen, Antti E. J.; Sharygina, Natasha 2018 Cited by 4 Authors 1 Hyvärinen, Antti E. J. 1 Marescotti, Matteo 1 Rümmer, Philipp 1 Sharygina, Natasha Cited in 0 Serials Cited in 1 Field 2 Computer science (68-XX) Citations by Year