{"push_id":650558520,"size":7,"distinct_size":7,"ref":"refs/heads/develop","head":"a968d90a84f183144ab6991a816d3e8ef78510b4","before":"d1872d3cc316d421471c93312fc60332cccce7bb","commits":[{"sha":"77fe2084f3fea9e26d43120142739c3efc932f8e","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"update flags","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/77fe2084f3fea9e26d43120142739c3efc932f8e"},{"sha":"3f4e1107e6845f1eac26a0e2a19888b7c64f4a73","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"update the method to transform to CNF\n\nWe reduce the number of generated clauses (especially in the case of disjunctions).\nWe went from exponential to linear in term of the number of clauses in the generated formula.\nSee http://en.wikipedia.org/wiki/Conjunctive_normal_form.","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/3f4e1107e6845f1eac26a0e2a19888b7c64f4a73"},{"sha":"fa0774eb576fddf2cb66ad356b7d1a59bd5e477a","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"translation to DIMACS fails on Top or Bottom","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/fa0774eb576fddf2cb66ad356b7d1a59bd5e477a"},{"sha":"d0bdd4f8d49910c36d999e473b096611dd5a1b8e","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"avoid generation of useless Top and Bottom\n\nWe removed the use of folds (List.fold_left) in the bigand/bigor functions.\nWe don't want to introduce unnecessary Top and Bottom in the formula because they have no representation in the DIMACS file format.\nWe're using explicit recursion now.","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/d0bdd4f8d49910c36d999e473b096611dd5a1b8e"},{"sha":"813467ea9b8153afc0b7a8ccc89594d047b0aa90","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"move syntax to string conversion functions to a separate module","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/813467ea9b8153afc0b7a8ccc89594d047b0aa90"},{"sha":"5596e138aff4ae0e6a70860fbc80935fa8de293a","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"remove unused file","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/5596e138aff4ae0e6a70860fbc80935fa8de293a"},{"sha":"a968d90a84f183144ab6991a816d3e8ef78510b4","author":{"email":"23aec1ff1ecf9902a3bb6402e8e8183cefa281d0@users.noreply.github.com","name":"olzd"},"message":"Merge branch 'develop' of github.com:olzd/touist into develop","distinct":true,"url":"https://api.github.com/repos/olzd/touist/commits/a968d90a84f183144ab6991a816d3e8ef78510b4"}]}