
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 AutomataBased String Analysis Tool for...

CVC4
 Referenced in 125 articles
[sw09485]
 CVC4 is an efficient opensource 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 theoryaware heuristics...