{"push_id":828386458,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9da6e9c791ca8a11230c5537c9548e4028355403","before":"e20549351cbac05eb451408bf62a9bd2767317e8","commits":[{"sha":"9da6e9c791ca8a11230c5537c9548e4028355403","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"SAT solver interface refactoring.\n\n* Less duplicate code between minisat and sat4j.\n* Explicit DIMACS-like internal datastructure.  (You can pass a CNF as\n  Seq[Seq[Int]]!)\n* No more DIMACS serialization in the sat4j interface.  This should make\n  it easier to support the pseudo-boolean constraint interface of sat4j.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/9da6e9c791ca8a11230c5537c9548e4028355403"}]}