{"push_id":659052215,"size":1,"distinct_size":1,"ref":"refs/heads/mat/satpg-dev","head":"6ccdfe5a924236bda7fdd738a74eecb86bb24780","before":"47592c0da8c35f3777a1aed422971e2614b63d5b","commits":[{"sha":"6ccdfe5a924236bda7fdd738a74eecb86bb24780","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg/minpat: Compactor を元のバージョンに戻した．","distinct":true,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/6ccdfe5a924236bda7fdd738a74eecb86bb24780"}]}