MiniZinc
id:
minizinc-181-10429936
title:
MiniZinc
text:
MiniZinc is a constraint modelling language to describe and solve high-complexity problems using a variety of well-known solving paradigms for combinatorial problems including constraint programming, integer programming, lazy clause generation, SAT, and SMT. Following the constraint programming paradigm, in MiniZinc a problem is specified in terms of known values (parameters), unknown values, and the relationship (constraints) between these values. MiniZinc promotes the use of global constraints
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/MiniZinc
date created:
2020-01-25T20:39:21Z
date modified:
2024-09-05T21:38:47Z
main entity:
{"identifier":"Q86358817","url":"https://www.wikidata.org/entity/Q86358817"}
image:
fields total:
13
integrity:
14