• Norn

  • Referenced in 8 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 8 articles [sw19493]
  • SMT solver through its plug-in interface. Z3-str treats strings as a primitive type...
  • Rex

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

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

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

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

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

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

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

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

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

  • Referenced in 80 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • Chaff

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

  • Referenced in 74 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • StarExec

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