{"ref":"refs/heads/smt-target","commits":[{"author":{"email":"2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","name":"Henning Günther"},"sha":"bbe7c28ab2235e31a51415503fd5af047db66b43","message":"Remove linking of cudd library","url":"https://api.github.com/repos/hguenther/gtl/commits/bbe7c28ab2235e31a51415503fd5af047db66b43"},{"author":{"email":"2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","name":"Henning Günther"},"sha":"0d1d0af577a59dadfa9d63fff2b522d0e53348d2","message":"Merge branch 'master' into smt-target","url":"https://api.github.com/repos/hguenther/gtl/commits/0d1d0af577a59dadfa9d63fff2b522d0e53348d2"},{"author":{"email":"2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","name":"Henning Günther"},"sha":"40307f8280e6c9153e8f52d51d8847d239b88f5e","message":"Use more descriptive variable name in SMT encoding","url":"https://api.github.com/repos/hguenther/gtl/commits/40307f8280e6c9153e8f52d51d8847d239b88f5e"}],"head":"40307f8280e6c9153e8f52d51d8847d239b88f5e","push_id":53533424,"size":3}