• HAMPI

  • Referenced in 20 articles [sw09864]
  • Hampi: A Solver for String Constraints. Hampi is a solver for string constraints. Hampi...
  • Norn

  • Referenced in 7 articles [sw21853]
  • Norn: an SMT solver for string constraints. We present version 1.0 of the Norn ... solver for string constraints. Norn is a solver for an expressive constraint language, including word...
  • S3

  • Referenced in 7 articles [sw19495]
  • symbolic string solver. Our solver employs a new algorithm for a constraint language that ... Specifically, our language covers all the main string operations, such as those in JavaScript...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • regular expressions, and length constraints. In recent years, string solvers have become an essential component...
  • Z3str3

  • Referenced in 5 articles [sw30519]
  • Z3str3 is a constraint solver for the quantifier-free theory of string equations, the regular...
  • Kaluza

  • Referenced in 2 articles [sw12036]
  • Kaluza constraint solver. Kaluza is a solver for multiple string variables of bounded length. Kaluza...
  • Symbolic automata

  • Referenced in 5 articles [sw13262]
  • power of state-of-the-art constraint solvers for automata analysis that is both expressive ... transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...
  • PASS

  • Referenced in 7 articles [sw21858]
  • structure to model strings, and converts string constraints into quantified expressions that are solved through ... reason about string values faster. Our method does not need to enumerate string lengths ... vector based methods do), or concrete string values (as automaton based methods do). Hence ... identify unsatisfiable cases quickly. Our solver (named PASS) supports most of the popular string operations...
  • Rex

  • Referenced in 4 articles [sw11888]
  • explorer. Constraints in form regular expressions over strings are ubiquitous. They occur often in programming ... applications. Providing support for regular expression constraints in program analysis and testing has several useful ... analyzing regular expression constraints. Rex is implemented using the SMT solver Z3, and we provide...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CUTE

  • Referenced in 64 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • HOM4PS

  • Referenced in 77 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Macaulay2

  • Referenced in 1758 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3052 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 396 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 547 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...