Skip to content

Instantly share code, notes, and snippets.

View bokner's full-sized avatar

Boris Okner bokner

25 followers · 8 following
  • Barrie, ON, Canada
View GitHub Profile
@bokner
bokner / advent_or_day18.mzn
Last active December 21, 2024 18:29
include "globals.mzn";
int: N;
set of int: NODES = 1..N;
int: E;
set of int: EDGES = 1..E;
int: M;
set of int: MANDATORY = 1..M;
array[EDGES] of int: from;
@bokner
bokner / advent_or_day19.mzn
Created December 22, 2024 02:06
include "globals.mzn";
int: N;
int: M;
set of int: CARS = 1..N;
set of int: MACHINES = 1..M;
array[CARS, MACHINES] of int: durations;
@bokner
bokner / advent_or_day22.mzn
Last active December 23, 2024 03:39
include "globals.mzn";
int: N;
int: M;
set of int: JOBS = 1..N;
set of int: MACHINES = 1..M;
array[JOBS, MACHINES] of int: durations;
array[JOBS, MACHINES] of int: steps;