com.mizar.graphtheory
Classes 
Edge
Face
Graph
Node
Exceptions 
ConnectivityException