• Norn

  • Referenced in 7 articles [sw21853]
  • Norn: an SMT solver for string constraints. We present version 1.0 of the Norn ... SMT solver for string constraints. Norn is a solver for an expressive constraint language, including ... feature distinguishing Norn from other SMT solvers, Norn is a decision procedure under the assumption...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • finding tools. Such solvers typically support a theory of string equations, the length function ... three techniques, designed for word-based SMT string solvers, to mitigate these problems: (1) detecting...
  • Z3-str

  • Referenced in 7 articles [sw19493]
  • SMT solver through its plug-in interface. Z3-str treats strings as a primitive type...
  • Rex

  • Referenced in 4 articles [sw11888]
  • explorer. Constraints in form regular expressions over strings are ubiquitous. They occur often in programming ... constraints. Rex is implemented using the SMT solver Z3, and we provide experimental evaluation...
  • JavaSMT

  • Referenced in 1 article [sw18525]
  • SMT-LIB for communication incurs a performance overhead, because all the queries to the solver ... strings. Yet using the API directly creates the problem of a solver lock-in, which ... different solvers very difficult. We present JavaSMT, a library that exposes a solver-independent ... layer for SMT solving. Our library aims to close the gap between API-based...
  • Boolector

  • Referenced in 28 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • 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...
  • REDUCE

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SDPA

  • Referenced in 180 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • SMT-LIB

  • Referenced in 187 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • Yices

  • Referenced in 142 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • z3

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

  • Referenced in 43 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • Chaff

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

  • Referenced in 44 articles [sw08839]
  • StarExec: Starexec is a cross community logic solving...
  • Stranger

  • Referenced in 14 articles [sw09152]
  • Stranger: An Automata-Based String Analysis Tool for...
  • CVC4

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