SMTソルバCVC4のレポジトリでの開発のファイル構成の変化とコミットの様子を可視化したもの。 Gourceって知らなかったけれどカッコイイ！