{"push_id":556225210,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f56fb3d0ccf9897a90db17c6b1d48c54bafd68b5","before":"3452804f7a5e0211a0e52c1f5300fec1b07e0847","commits":[{"sha":"f56fb3d0ccf9897a90db17c6b1d48c54bafd68b5","author":{"email":"ea7692f0ed5eff8231bf59dc3398bed13c9bc5f3@gmail.com","name":"Giselle Reis"},"message":"Number of cuts is a parameter for cut-introduction\n\nThe maxsat method for cut-introduction has again\nan external parameter of type Int that bounds the\nnumber of cuts the algorithm tries to introduce.\n\ngit-svn-id: https://gapt.googlecode.com/svn/trunk@2425 85d21ef8-add0-11de-ae77-5bfb9c5a3f34","distinct":true,"url":"https://api.github.com/repos/gisellemnr/gapt/commits/f56fb3d0ccf9897a90db17c6b1d48c54bafd68b5"}]}