{"push_id":613615990,"size":6,"distinct_size":6,"ref":"refs/heads/higher_order_explanations","head":"a95f51291e8519f58170118e4d10a5d0eb611702","before":"6b27b58e04415fd7887ad7d3d6c20a0f92c8248d","commits":[{"sha":"42e1caa26e8306aea19a2fb1b6db2fadafd79654","author":{"email":"308f64dfca5e287fbc5bae1d54dfcfa75595590e@pikachu","name":"Armando Diaz Tolentino"},"message":"enabled new heuristic selection code.\nRemoved old selection mechanism","distinct":true,"url":"https://api.github.com/repos/ajdt/algebra_heuristics/commits/42e1caa26e8306aea19a2fb1b6db2fadafd79654"},{"sha":"f7d09e267de8a328a7f51df3ec12171c0f2550aa","author":{"email":"308f64dfca5e287fbc5bae1d54dfcfa75595590e@pikachu","name":"Armando Diaz Tolentino"},"message":"Added explanation generation code for\nheuristic selection","distinct":true,"url":"https://api.github.com/repos/ajdt/algebra_heuristics/commits/f7d09e267de8a328a7f51df3ec12171c0f2550aa"},{"sha":"12faeeed35852c4a63f3e4458bc4ee9b6664e7a7","author":{"email":"308f64dfca5e287fbc5bae1d54dfcfa75595590e@pikachu","name":"Armando Diaz Tolentino"},"message":"renamed heuristic strategies","distinct":true,"url":"https://api.github.com/repos/ajdt/algebra_heuristics/commits/12faeeed35852c4a63f3e4458bc4ee9b6664e7a7"},{"sha":"50a2265b90ded7d649410817b64afe05888999b7","author":{"email":"308f64dfca5e287fbc5bae1d54dfcfa75595590e@pikachu","name":"Armando Diaz Tolentino"},"message":"Added operands to higher order explanations","distinct":true,"url":"https://api.github.com/repos/ajdt/algebra_heuristics/commits/50a2265b90ded7d649410817b64afe05888999b7"},{"sha":"5a3f2f77091793dde7e992c355c3eb5e7f897793","author":{"email":"308f64dfca5e287fbc5bae1d54dfcfa75595590e@pikachu","name":"Armando Diaz Tolentino"},"message":"Moved code for heuristic selection to eqn_solver","distinct":true,"url":"https://api.github.com/repos/ajdt/algebra_heuristics/commits/5a3f2f77091793dde7e992c355c3eb5e7f897793"},{"sha":"a95f51291e8519f58170118e4d10a5d0eb611702","author":{"email":"308f64dfca5e287fbc5bae1d54dfcfa75595590e@pikachu","name":"Armando Diaz Tolentino"},"message":"Added an ASP file to generate all\nsolutions for a given problem","distinct":true,"url":"https://api.github.com/repos/ajdt/algebra_heuristics/commits/a95f51291e8519f58170118e4d10a5d0eb611702"}]}