KAKENHI(S) Discrete Structure Manipulation System Project (Hokkaido Univ.)
October 21, 2013 13:26:26 By shirai
which calculates all paths from two stations of JR. ekillion uses
which is used for search, optimization, and enumeration for a very large set of graphs using ZDD.
Copyright (C) 2014 Hokkaido Univ., Minato Discrete Structure Manipulation System Project, All Rights Reserved