{"push_id":558317872,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b13e6a950cd146d107059d058e065d78da85f110","before":"01c3fbcfe992ef5a88b0214eddd427886b7129a5","commits":[{"sha":"b13e6a950cd146d107059d058e065d78da85f110","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(opensmt/egraph/Enode.C): use std::fix to avoid scientific notation problem in CAPD\n\nclose #73","distinct":true,"url":"https://api.github.com/repos/dreal/dreal/commits/b13e6a950cd146d107059d058e065d78da85f110"}]}