tjh.dev
1# These tests show that the minizinc build is capable of running the
2# examples in the official tutorial:
3# https://www.minizinc.org/doc-2.7.3/en/modelling.html
4
5{ stdenv, minizinc }:
6
7stdenv.mkDerivation {
8 name = "minizinc-simple-test";
9
10 nativeBuildInputs = [ minizinc ];
11
12 dontInstall = true;
13
14 buildCommand = ''
15 minizinc --solver gecode ${./aust.mzn}
16 minizinc --solver cbc ${./loan.mzn} ${./loan1.dzn}
17 touch $out
18 '';
19
20 meta.timeout = 10;
21}