class LPSolver {
    // add constraint ax + by + cz + d < 0 (plane equation), and return false if infeasible
    bool add_constraint(int a, int b, int c, int d);
};