Created
November 10, 2015 12:53
-
-
Save Alexander-Schiendorfer/4b98df990cf03bd9f4af to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% a very minimal example to provoke isa: nullptr bug | |
% --------------------------------- | |
set of int: range = 1..5; | |
var set of range: x; | |
predicate onlyEvens(var set of range: y) = | |
( | |
forall(r in y) (r mod 2 = 0) | |
); | |
constraint onlyEvens(x); | |
solve :: set_search([x], input_order, indomain_max, complete) | |
satisfy; | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
that is accompanied by this MiniBrass model