This repository provides all Python experiments for the EDBT paper "The Dangerous Impact of Solver Imprecision on Data Management Techniques (and How to Avoid it)".
Comparing the scalability performance of an exact solver Z3 and a fast imprecise solver Gurobi on an instance of the knapsack problem. Corresponding to Section 5.4. The data generation script and generated data are in the data folder.
A small example showcasing that the solver may find the wrong optimization result. Corresponding to Example 2.
Two sets of experiments showing the impact on the solution for the package query problem.
We tested the code in Python 3.13.11 with gurobipy package 13.0.0 and z3-solver package 4.16.0.0. Note that using Gurobi requires a license. (Free academic options are generally available, but this may change over time.)
The code for the package query problem is implemented based on the papers of the PackageBuilder project (https://packagebuilder.cs.umass.edu/).
Zixuan Chen (chen.zixu@northeastern.edu) Zikun Wang (wang.zikun@northeastern.edu)