head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2026.10.10.14.31.03;	author alnsn;	state Exp;
branches;
next	;
commitid	0hWA24U11kNYgWYG;


desc
@@


1.1
log
@Import minizinc from wip, version 2.9.7.

MiniZinc is a high-level constraint modelling language that allows
you to easily express and solve discrete optimisation problems.

This is a minimal working version of MiniZinc with no Gecode integration.
@
text
@$NetBSD$

Gecode isn't yet available in pkgsrc.

--- share/minizinc/Preferences.json.orig	2026-10-10 14:02:45.887783345 +0000
+++ share/minizinc/Preferences.json
@@@@ -1,6 +1,6 @@@@
 {
   "tagDefaults": [
-    ["", "org.gecode.gecode"]
+    ["", "org.chuffed.chuffed"]
   ],
   "solverDefaults" : [
     ["org.minizinc.mip.gurobi", "-DQuadrIntSolverConfig=true", ""],
@