• Z3str3

  • Referenced in 5 articles [sw30519]
  • Z3str3: a string solver with theory-aware heuristics. Z3str3 is a constraint solver ... linear arithmetic over the length functions. Z3str3 is now part of the Z3 theorem prover...
  • z3

  • Referenced in 515 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Chaff

  • Referenced in 574 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • CVC4

  • Referenced in 109 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...
  • HAMPI

  • Referenced in 20 articles [sw09864]
  • Hampi: A Solver for String Constraints. Hampi is...
  • S3

  • Referenced in 7 articles [sw19495]
  • S3: a symbolic string solver for vulnerability detection...
  • Norn

  • Referenced in 7 articles [sw21853]
  • Norn: an SMT solver for string constraints. We...
  • Jalangi

  • Referenced in 4 articles [sw25259]
  • Jalangi: a selective record-replay and dynamic analysis...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • Z3str2: an efficient solver for strings, regular expressions...