{"push_id":655096090,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"594c86f324c264efcd38458fe28740423dde36d3","before":"777828e508e5b140598b249157976939381e19ee","commits":[{"sha":"594c86f324c264efcd38458fe28740423dde36d3","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Only getModel if the solver returns SAT, not all solvers support models","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/594c86f324c264efcd38458fe28740423dde36d3"}]}