{"push_id":3143508648,"size":1,"distinct_size":1,"ref":"refs/heads/bdd_q3b_integration","head":"7987ab5531051369afa1dbd7eb140504ecd1980e","before":"8155b8a0faccc4fbc13dd01d8c2fa708c00efd19","commits":[{"sha":"7987ab5531051369afa1dbd7eb140504ecd1980e","author":{"name":"emslander","email":"83d4aeede8bcf7c6f00c31f682afd1e67a7a171a@github.com"},"message":"adding new classes Triple.java and BddPredicateOrderingStrategy.java.\ndeleting SylvanBDDRegion.java and SylvanBDDRegionManager.java.\nadding the methods makeTrue and toString to the class\nBDDBooleanFormula.java","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/7987ab5531051369afa1dbd7eb140504ecd1980e"}]}
{"actor":{"display_login":"emslander"}}