• STXXL

  • Referenced in 19 articles [sw06824]
  • computing minimum spanning trees, connected components, breadth-first search decompositions, constructing suffix arrays, and computing...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • performed as a depth-first or breadth-first search of the state space. States encountered...
  • GSPeeDI

  • Referenced in 2 articles [sw00394]
  • GSPeeDI is based on a breadth-first search algorithm, and it can handle more general...
  • Elixir

  • Referenced in 2 articles [sw25435]
  • parallel implementations for three irregular problems: breadth-first search, single source shortest path, and betweenness...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LEDA

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • DiVinE

  • Referenced in 56 articles [sw04130]
  • DIVINE is a tool for LTL model checking...
  • PBGL

  • Referenced in 11 articles [sw04182]
  • The Parallel Boost Graph Library: A Generic C...
  • SNAP

  • Referenced in 179 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • LEMON

  • Referenced in 51 articles [sw05043]
  • LEMON – an Open Source C++ Graph Template Library...
  • JGraphT

  • Referenced in 13 articles [sw05496]
  • JGraphT is a free Java graph library that...
  • SciPy

  • Referenced in 791 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • NETAL

  • Referenced in 2 articles [sw06628]
  • NETAL: high-performance implementation of network analysis library...
  • MCSTL

  • Referenced in 11 articles [sw06825]
  • MCSTL: The multi-core standard template library The...
  • SDPARA

  • Referenced in 18 articles [sw07707]
  • Algorithm 925: Parallel Solver for Semidefinite Programming Problem...