From 5e8b0fe13c85e66fa5a1f90ee13e9ddfadae5c09 Mon Sep 17 00:00:00 2001 From: Nat Lasseter Date: Wed, 4 Dec 2019 11:26:26 +0000 Subject: Day 04, in minizinc of course. --- day04/part1 | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 day04/part1 (limited to 'day04/part1') diff --git a/day04/part1 b/day04/part1 new file mode 100755 index 0000000..d78634e --- /dev/null +++ b/day04/part1 @@ -0,0 +1,3 @@ +#!/bin/bash + +minizinc --all-solutions -s part1.mzn input.dzn 3>&1 1>/dev/null 2>&3- | cut -d= -f2 -- cgit v1.2.3