Hakan Kjellerstrand

icon indicating a website link http://www.hakank.org/ icon indicating an email [email protected]

icon company Software Developer (Retired) / Independent Researcher icon location Malmoe, Sweden icon location Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.

Results 16 comments of Hakan Kjellerstrand

Support for obtaining the active domain of an variable

I realize that the previous version of `assignment_ctr` is confusing (or misleading at best), since it use "plain ifs". Here's an adjust version were I use an extended version of...

Is there an element constraint?

It would be really great if you support `x[ix]`, but in fact this syntax is rarely suported in CP system (MiniZinc supports it for example). I especially like if one...

Is there an element constraint?

FYI: Here's an decomposition of `element` (as `my_element`) using indicator/reification: ``` # # my_element(model, ix, a, val) # # Ensure that a[ix] = val # function my_element(model, ix, a, val)...

Is there an element constraint?

Great progress, Ole!

Showing covered/not covered instances

That's would be really great! And I agree that this is only relevant when using a small amount of examples (and when one have a good intuition about the correct...

Noise handling

@andrewcropper Is JCR's example expected to work with v3.0.0? When I run the example with the `--noisy` flag (and without `max_vars/3` and `max_body/2` in bias.pl) , there's no solution: ```...