Z3str3 swMATH ID: 30519 Software Authors: Berzish, M., Ganesh, V., Zheng, Y. Description: Z3str3: a string solver with theory-aware heuristics. Z3str3 is a constraint solver for the quantifier-free theory of string equations, the regular-expression membership predicates, and linear arithmetic over the length functions. Z3str3 is now part of the Z3 theorem prover’s main codebase, and is the primary string solver in Z3. Homepage: https://sites.google.com/site/z3strsolver/ Source Code: https://github.com/z3prover/z3 Keywords: Logic in Computer Science; arXiv_cs.LO; string SMT solver; Z3str3; Theory-aware Branching Related Software: CVC4; HAMPI; Norn; z3; Stranger; S3; StringFuzz; Z3str2; SMT-LIB; Z3-str; Jalangi; GitHub; PASS; StrSolve; Gecode; MiniZinc; CVC4SY; KLEE; Saner; JavaScript Cited in: 13 Documents Standard Articles 1 Publication describing the Software Year Z3str3: A String Solver with Theory-aware Branching Berzish, M., Ganesh, V., Zheng, Y. 2017 all top 5 Cited by 41 Authors 4 Day, Joel D. 4 Ganesh, Vijay 4 Manea, Florin 4 Nowotka, Dirk 3 Amadini, Roberto 3 Berzish, Murphy 3 Gange, Graeme 3 Kulczynski, Mitja 3 Mora, Federico 3 Stuckey, Peter James 2 Barrett, Clark W. 2 Nötzli, Andres 2 Reynolds, Andrew 2 Tinelli, Cesare 1 Abdulla, Parosh Aziz 1 Andrlon, Mak 1 Atig, Mohamed Faouzi 1 Barbosa, Haniel 1 Bjørner, Nikolaj S. 1 Diep, Bui Phi 1 Dill, David L. 1 Garreta, Albert 1 Gray, Robert D. 1 Grieskamp, Wolfgang 1 He, Paul 1 Holík, Lukáš 1 Janků, Petr 1 Levatich, Maxwell 1 Lin, Anthony Widjaja 1 Lopes, Nuno P. 1 Majumdar, Rupak 1 Niemetz, Aina 1 Park, Junkil 1 Preiner, Mathias 1 Qadeer, Shaz 1 Rybalchenko, Andrey 1 Schachte, Peter 1 Sheng, Ying 1 Søndergaard, Harald 1 Vuppalapati, Chandrasekar 1 Zohar, Yoni Cited in 4 Serials 1 Artificial Intelligence 1 Theoretical Computer Science 1 Information and Computation 1 Logical Methods in Computer Science Cited in 3 Fields 12 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) Citations by Year