{"push_id":1032613511,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c073a672d7234395832ecc67896d7be4a99e3bca","before":"cccd79a28f16c3e4ab766f9170480380e39f4515","commits":[{"sha":"c073a672d7234395832ecc67896d7be4a99e3bca","author":{"email":"c6065c45f51b07e6eca747e1e72d822e43c8d944@ens-lyon.fr","name":"MonegoEtmoi"},"message":"debug heuristic cast arg","distinct":true,"url":"https://api.github.com/repos/NicolasDerumigny/Project2-SAT-Solver/commits/c073a672d7234395832ecc67896d7be4a99e3bca"}]}