A Parametric Propagator for Discretely Convex Pairs of Sum Constraints

Contributing Authors: 
  • Jean-Noël Monette
  • Nicolas Beldiceanu
  • Pierre Flener
  • Justin Pearson

Experiment id: cp2013-MBFP

This experiment are results presented in the following paper in the proceedings of CP 2013, edited by Christian Schulte,
published by Springer.

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints,
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Note: the experiment id and url contained here are not persistent and are subject to change

Recomputation Downloads

  • Vagrant Box. Approx 588 MB.
    Note that this file is actually a tarfile containing VirtualBox files so may also be used directly with VirtualBox. All code in this machine is open source except for VirtualBox Guest Additions, which are included in binary form.
    • md5sum 6b3bcf35685e872e2c4d30dee7df6560

Quick Instructions for running

These instructions should work in a unix-like system with vagrant and VirtualBox installed.

The URL to obtain the Vagrant box for this experiment is

mkdir anydir
cd anydir
vagrant init cp2013-MBFP http://recomputation.org/cp2013/MBFP/recomputation-cp2013-MBFP.box
vagrant up

This should run the experiment and create a new results directory in the current directory.
It will leave a virtual machine running. When this has finished enter

vagrant halt

which will stop the virtual machine (but leave a copy of it on your system.)

Further Instructions

General instructions for installing and running experiments from recomputation are contained on a general page. We also give further instructions on e.g. removing a box or repackaging it after you make changes.

The experiment will run automatically when the box is started by “vagrant up”. To disable this use this command instead

vagrant up --no-provision

Security Warning

There are inevitable security risks in running any executable and/or virtual machine downloaded from the internet. You should take appropriate precautions.


September 16, 2013. Page set up.

September 18, 2013. Add live URL.