Supplemental dataset for the paper “A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling”, accepted for publication at the 32nd International Conference on Principles and Practice of Constraint Programming. Conference information is available at CP 2026 conference website. A link to the open-access publication will be added once the paper becomes publicly available.

Dataset Contents

The dataset contains the complete implementation and experimental material used for the two-stage constraint programming approach presented in the paper. The main entry point is the 2stage_solver.py script, which orchestrates the full workflow across both optimization stages.

The stage1/ directory contains all resources required for the first stage of the approach, including scripts, benchmark instances, MiniZinc models (.mzn files), and the column generation solver implementation. The stage2/ directory contains the corresponding scripts, benchmark instances, and MiniZinc models for the second stage of the scheduling process.

Experimental outcomes discussed in the publication are summarized in the results/ directory. Detailed information regarding solver settings, software versions, hardware configuration, and parameterization is documented in the paper itself.

Configuration templates for reproducing experiments and running customized executions are provided in the configs/ directory.

Software Requirements

Reproducing the experiments and running the provided solvers requires the following software environment:

• Python version 3.11 or newer, available from Python
• MiniZinc version 2.9.5 or newer, available from MiniZinc. MiniZinc command-line tools must be accessible through the system PATH environment variable.
• Gurobi version 9 or newer, available from Gurobi Optimizer, together with the gurobipy Python package.

Usage and Licensing

Detailed instructions for installing dependencies and executing the solver pipeline are provided in the README.txt file included in the dataset.

All data is licensed under the CC BY 4.0 license. All source code is distributed under the MIT License. See LICENSE.txt for the full license text.