Results 1 to 8 of 8
Sort by:

  • GAP
  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...

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

  • Cayley
  • Referenced in 131 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...

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

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

  • HAMPI
  • Referenced in 21 articles [sw09864]
  • Hampi: A Solver for String Constraints. Hampi is...

  • Norn
  • Referenced in 10 articles [sw21853]
  • Norn: an SMT solver for string constraints. We...

  • Z3str3
  • Referenced in 9 articles [sw30519]
  • Z3str3: a string solver with theory-aware heuristics...