swMATH ID: 21853
Software Authors: Abdulla, P.A., Atig, M.F., Chen, Y.-F., Holík, L., Rezine, A., Rümmer, P., Stenman, J.
Description: 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 word equations, length constraints, and regular membership queries. As a feature distinguishing Norn from other SMT solvers, Norn is a decision procedure under the assumption of a set of acyclicity conditions on word equations, without any restrictions on the use of regular membership.
Homepage: https://link.springer.com/chapter/10.1007%2F978-3-319-21690-4_29
Related Software: HAMPI; Z3str3; Stranger; S3; CVC4; Z3-str; z3; Gecode; MiniZinc; Z3str2; JSAI; JavaScript; PASS; StrSolve; WAPTEC; Jalangi; Phantm; ExpoSE; DART; Chaff
Referenced in: 11 Publications

Referencing Publications by Year