• GAP

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

  • Referenced in 17 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • MiniSat

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

  • Referenced in 1248 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • ns-2

  • Referenced in 183 articles [sw11690]
  • The Network Simulator - ns-2. Ns is a...