Lingolol

0 posts0 participants0 posts today

Albert Cardona<a href="https://mathstodon.xyz/@joshg" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@joshg</a> Took a few minutes to type in, but it’s not egregious, the logic is straightforward and can be solved by hand easily. But it’s more instructive this way:include "alldifferent.mzn";% Two lists of ints between 1 and 5, both inclusive % One we'll use for the indices of the matrix cell coordinates, and the other for cell values. set of int: COORD = 1..5; set of int: VALUE = 1..5;% Define a matrix, which is a 2-dimensional array with indices for its cells % defined by COORD, so between 1 and 5, where each matrix cell % takes any value of those defined in the list VALUE: array[COORD,COORD] of var VALUE: v;% All different in rows: the 'j' coordinate advances in the column constraint forall(i,j in v)( alldifferent([v[i,j] | j in VALUE]));% All different in columns: the 'i' coordinate advances in the row constraint forall(i,j in v)( alldifferent([v[i,j] | i in VALUE]));% All the groups of cells that add up to 10, % using either sums (+ sign) or multiplications (* sign) constraint v[1,1] + v[1,2] + v[1,3] + v[1,4] = 10; constraint v[1,5] + v[2,5] + v[3,5] = 10; constraint v[2,1] + v[2,2] + v[3,1] = 10; constraint v[2,3] * v[2,4] * v[3,4] = 10; constraint v[3,2] + v[3,3] + v[4,2] = 10; constraint v[4,1] + v[5,1] + v[5,2] = 10; constraint v[4,3] + v[5,3] + v[5,4] + v[5,5] = 10; constraint v[4,4] * v[4,5] = 10;solve satisfy;<a href="https://mathstodon.xyz/tags/CSP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CSP</a> <a href="https://mathstodon.xyz/tags/minizinc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#minizinc</a>

Tom HoneymanCongrats to the finalists for the Eureka Prize for Excellence in Research Software, developing and maintaining <a href="https://fosstodon.org/tags/MiniZinc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MiniZinc</a>, MRtrix3 and <a href="https://fosstodon.org/tags/limma" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#limma</a> This prize recognises and celebrates those who develop and maintain software in Australia that underpins research and scientific discovery. <a href="https://ardc.edu.au/article/finalists-announced-for-the-2024-ardc-eureka-prize-for-excellence-in-research-software/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://ardc.edu.au/article/finalists-announced-for-the-2024-ardc-eureka-prize-for-excellence-in-research-software/</a>

Jip J. DekkerHi Mastodon!I'm a computer scientist working on the <a href="https://hachyderm.io/tags/MiniZinc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MiniZinc</a> modelling language. The perfect way to model your <a href="https://hachyderm.io/tags/optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#optimization</a> / <a href="https://hachyderm.io/tags/orms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#orms</a> problems. (At least if you you were to ask me).As an <a href="https://hachyderm.io/tags/OPTIMA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OPTIMA</a> research fellow at <a href="https://hachyderm.io/tags/Monash" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Monash</a> University, I generally love research into programming languages & combinatorial optimisation methods.When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead. <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introduction</a> <a href="https://hachyderm.io/tags/introductions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introductions</a>

Jip J. DekkerHi Mastodon!I'm a computer scientist working on the <a href="https://soapbox.network/tags/MiniZinc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MiniZinc</a> modelling language. The perfect way to model your <a href="https://soapbox.network/tags/optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#optimization</a> / <a href="https://soapbox.network/tags/orms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#orms</a> problems. (At least if you you were to ask me).As an <a href="https://soapbox.network/tags/OPTIMA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OPTIMA</a> research fellow at <a href="https://soapbox.network/tags/Monash" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Monash</a> University, I generally love research into programming languages & combinatorial optimisation methods.When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.<a href="https://soapbox.network/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introduction</a> <a href="https://soapbox.network/tags/introductions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introductions</a>

Recent searches

Search options

Administered by:

Server stats:

#MiniZinc