{"shas":[["71e94b5790b6168fb69f33a2e0ff414965432641","0a86887513cc865a2c8f759b39a99c3b5a1c632c@uclouvain.be","Added two pruning rules for the follow propagator. These rules will\nprune the upper bounds of A and B.","Gustavo Gutierrez"]],"ref":"refs/heads/master","size":1,"head":"71e94b5790b6168fb69f33a2e0ff414965432641","push_id":40349479}