minizinc

minizinc

Constraint Issue Unsatisfied MiniZinc

What is Channeling in MiniZinc? Can you provide an simple example to explain Channeling? Finally, What is Inverse?

Minizinc SCIP Ubuntu

various problems getting a solution with minizinc

Specifying only a single index of a 1D array in a data file

MiniZinc Geocode not printing all solutions to CSP with "all" solutions enabled

how to generate .dzn file using R or python in minizinc

Unsatisfiable solution with `constraint forall(i in x)( x[i] <= x[i+1] );`

MiniZinc does not find a solution to the scheduling problem

Do Gecode and G12 (MIP) use infinite precision arithmetic?

Minizinc: Job Shop Problem, minimize taking too long

What are these `float_div` and `float_times` constraints in the FlatZinc file?

How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?

Optimization Problem of a Single Lessons Scheduling Model

What is the use of minizinc fix function?

Minizinc: Relax constraints when inconsistency found

Minizinc - error cannot determine bounds

Optimization with Minizinc - Only print optimal solutions

Conditional output minizinc

Output an absent optional enum in MiniZinc

Initialize only certain elements of array in dzn file

Minizinc nested output loop

inner product in minizinc

Minizinc: Need a brief description about each solver appeared in MiniZinc Configuration? [closed]

How can I get a combination of items

MiniZinc: how to sum equal-length subarrays?

Minizinc, how to create a map or a dictionary datastructure

Minizinc, Gecode, how to get an identical solutions across distributed servers, with multi-solution model?

MiniZinc Array Declaration

What would be a good Minizinc model for redistricting?

Confused by the `m..n` notation in MiniZinc

Minizinc - assign job to specific machine

not equal constraint for an array of var float decision variables in minizinc

MiniZinc can not find a solution when output statement introduced

`alldifferent` method in MiniZinc

Counting total number of solutions with minizinc

Minizinc constraints from another array

What does $T , [$T] , $U stand for in minizinc tutorial

Minizinc, counting occurrences in array of pairs

Multiple output under minizinc

Minizinc - counting number of solution and print first 50 only for checking

Minizinc large array dimension

Minizinc program complains of failed assertion in global_cardinality

Minizinc unexpected syntax error

Sampling search domain

Minizinc search 2d array with constraints

MiniZinc: type error: expected `array[int] of int', actual `array[int] of var opt int

Assigning times to events

minizinc constraint solving with large string data

minizinc: find element in arrray

Declaring multiple variables with one statement in MiniZinc

MiniZinc type error: all_different(array[int] of var int) not found

How to setup a data file in MiniZinc?

Easy way to print full solution (all decision variables) in minizinc

page:2 of 2 prev page main page

Categories

boolean-expression

date-formatting

reactive-programming

google-analytics-api

windows-core-audio

function-pointers

minecraft-fabric

google-chrome-app

spring-cloud-consul

monetdb-assembly-language

jquery-ui-autocomplete

adobe-pdfservices

asp.net-mvc-routing

vuejs-datepicker

apache-commons-dbcp

intuit-partner-platform

rosie-pattern-language

adobe-javascript

swagger-node-express

gradle-tooling-api

deferred-rendering

usage-statistics

amazon-mobile-analytics

bluemix-app-scan

screen-orientation

jquery-mobile-flipswitch

argument-passing

asp.net-mvc-3-areas

windows-phone-7-emulator

cmsamplebufferref

Resources