• PASS

  • Referenced in 7 articles [sw21858]
  • PASS: string solving with parameterized array and interval automaton. The problem of solving string constraints ... reduce string constraints to bit-vector constraints or automaton operations, which are then solved ... strings, and converts string constraints into quantified expressions that are solved through quantifier elimination ... handle regular expressions and reason about string values faster. Our method does not need...
  • StrSolve

  • Referenced in 5 articles [sw21857]
  • StrSolve: solving string constraints lazily. Reasoning about strings is becoming a key step ... analysis and testing frameworks. Stand-alone string constraint solving tools, called decision procedures, have been ... This separation enables independent improvement of string constraint solving algorithms and reduces client effort ... decision procedure that reasons about equations over string variables. Our approach scales well with respect...
  • Spheno

  • Referenced in 52 articles [sw09544]
  • supersymmetry breaking, anomaly mediated supersymmetry breaking, or string effective field theories. An interface exists ... easy implementation of other models. The program solves the renormalization group equations numerically...
  • TopoICE

  • Referenced in 4 articles [sw35405]
  • dimensional visualization and manipulation software for solving 2-string tangle equations and can be used...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • Such solvers typically support a theory of string equations, the length function, and the regular ... which comes at the cost of slow solving time, and in some cases even ... three techniques, designed for word-based SMT string solvers, to mitigate these problems: (1) detecting ... these tools utilizes a different solving strategy and/or string representation (based e.g. on words...
  • JST

  • Referenced in 3 articles [sw19494]
  • Java applications. This tool uses a numeric-string hybrid symbolic execution engine at its core ... widely used data structures; novel solving techniques for string constraints, regular expressions, and their interactions...
  • Symbolic automata

  • Referenced in 5 articles [sw13262]
  • transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...
  • MoTeX

  • Referenced in 1 article [sw34563]
  • algorithms for solving the fixed-length approximate string matching problem. It produces similar and partially...
  • ecr

  • Referenced in 2 articles [sw16501]
  • solved with a standard EA which works on real-valued vectors, permutations or binary strings...
  • PSLDoc

  • Referenced in 1 article [sw24765]
  • PLSA) to solve this problem. A protein is considered as a term string composed...
  • IDP3

  • Referenced in 7 articles [sw22941]
  • strong interest in declarative modeling and constraint-solving as opposed to algorithmic approaches. The paper ... automaton consistent with a given set of strings. For this last problem, we show that...
  • ReHap

  • Referenced in 1 article [sw35233]
  • algorithmic problem in this process is to solve the haplotype assembly problem, (also known ... problem of reconstructing the two haplotype strings (paternal and maternal) using the large collection...
  • PerlGP

  • Referenced in 3 articles [sw10501]
  • genetic programming system -- and can meta-evolution solve the bloat problem? An open source Perl ... ease of implementing new problems, particularly string-based ones. The effect of per-node, fixed...
  • genieclust

  • Referenced in 1 article [sw39419]
  • supports various distances over dense, sparse, and string data domains, and can be robustified even ... independent software, it can be used for solving problems arising in all data-driven research...
  • JavaSMT

  • Referenced in 1 article [sw18525]
  • newly developed tools rely on SMT solving. The SMT-LIB initiative defines a common format ... solver have to be serialized to strings. Yet using the API directly creates the problem ... solver-independent API layer for SMT solving. Our library aims to close the gap between...
  • T-REKS

  • Referenced in 3 articles [sw22483]
  • therefore, cannot be easily identified. To solve this problem, several computer programs which were based ... clustering of lengths between identical short strings by using a K-means algorithm. Benchmark...
  • VATRAM

  • Referenced in 2 articles [sw18809]
  • many tools have been developed to solve the read mapping problem. However, there ... genome is not considered as a single string over ACGT, but as a complex object...
  • pyuca

  • Referenced in 1 article [sw29182]
  • Unicode Collation Algorithm. Collation, the sorting of strings, is an important part of computational work ... Collation Algorithm (The Unicode Consortium (2015)) to solve this problem. pyuca is a Python implementation...
  • Gaggle

  • Referenced in 4 articles [sw20341]
  • source Java software environment that helps to solve the problem of software and database integration ... integrated diverse databases (for example, KEGG, BioCyc, String) and software (Cytoscape, DataMatrixViewer, R statistical environment...