{"shas":[["2c16b623f5ce70b154b59daf56cf6b42996dec94","ea08514f4095edcac37550a56be8c0951a3b19a3@gmail.com","Integrity checks.","uzonyib"],["3cbc7aeeefcb62df75eb249f043884e12db1dc19","ea08514f4095edcac37550a56be8c0951a3b19a3@gmail.com","Type refactorings.","uzonyib"],["61e7e52cdc66065bbd73d3b105463a83e0b3b4fb","ea08514f4095edcac37550a56be8c0951a3b19a3@gmail.com","Solver class added.","uzonyib"],["fe1ef92699ba121f90f0604887e80de79651b9a3","ea08514f4095edcac37550a56be8c0951a3b19a3@gmail.com","Examples added.","uzonyib"]],"ref":"refs/heads/master","size":4,"head":"fe1ef92699ba121f90f0604887e80de79651b9a3","push_id":39445295}