Matrix Multiplication using Constraint Programming

Environment Setup

1. Follow this to download and install the proper CPLEX version.
2. Edit scripts/env.config according to your environment.
3. source scripts/create_env.sh to create the VENV environment.

Running the Code

1. Activate the VENV: source scripts/activate_env.sh.
2. In src/main.py look for slurm_account and set it according to your SLURM credentials.
3. Run python src/main.py N M P R {cpo,sat}. You can specify the solver cpo vs sat and pass solver specific args.
   • e.g.: python src/main.py 2 2 2 7 cpo --seed 5

Look under experiments/readme.md for a complete list of commands to reproduce the results from paper.

Resources

The work was presented at CP2023, the slides of the presentation are available in this repo as FMMWT-cp2023-final.pdf.