Supports grounding-based solver.
Distance function module is added.
Merge branch 'master' of https://github.com/naoya-i/wsc