
STXXL
 Referenced in 19 articles
[sw06824]
 computing minimum spanning trees, connected components, breadthfirst search decompositions, constructing suffix arrays, and computing...

Murphi
 Referenced in 16 articles
[sw22149]
 performed as a depthfirst or breadthfirst search of the state space. States encountered...

GSPeeDI
 Referenced in 2 articles
[sw00394]
 GSPeeDI is based on a breadthfirst search algorithm, and it can handle more general...

Elixir
 Referenced in 2 articles
[sw25435]
 parallel implementations for three irregular problems: breadthfirst 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...

NetworkX
 Referenced in 168 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

SPIN
 Referenced in 727 articles
[sw03455]
 Spin is a popular opensource 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 opensource software...

NETAL
 Referenced in 2 articles
[sw06628]
 NETAL: highperformance implementation of network analysis library...

MCSTL
 Referenced in 11 articles
[sw06825]
 MCSTL: The multicore standard template library The...

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