JeanChristopheRohner

@EricZinda Did you find a solution to this?

Thanks for the tip!

It might be worthwhile to consider clp(BNR); seems very powerful and works for boolean, integers and reals :-)

I'm also a bit confused by the max_clauses/1 setting. I have recursion enabled but i get more than the number of intended clauses (6 instead of 5). Still really cool...

An option is to use html/1 to print some white characters, like this: `html(span(style('color:rgb(255, 255, 255)'), 'xxxx')` Hope that helps!