GitHub CreateEvent at 2014-09-18 09:34:23
Repository: smt
Actor: c01db33f
Payload: ref_type: repository
master_branch: master
description: Abstraction layer for SMT solvers
pusher_type: user