GitHub PushEvent at 2014-07-17 13:06:27
Repository: choco3
Actor: cprudhom
Payload: {"shas":[["be90ac2ee295beb56eef8bc33ff34b17911e4f3c","6ce3f3127f4f74d215c6723b2a3c53f28d5d49ad@mines-nantes.fr","Modifications relative to MZN\n\n- Change FConstraint and IBuilder to not return constraint anymore, the builder post the constraints\n- Enable clause as much as possible (bool2int, equality, etc)\n- add PropBoolSumBrutForce\n- enable views","cprudhom",true],["3a2d09a81a1ff0973dbe4e706df74a5dd63940e4","6ce3f3127f4f74d215c6723b2a3c53f28d5d49ad@mines-nantes.fr","Merge branch 'feature-mzn' into develop","cprudhom",true]],"size":2,"ref":"refs/heads/develop","head":"3a2d09a81a1ff0973dbe4e706df74a5dd63940e4"}