Re: Expressing range constraints in CNF form

[Andrei Alexandrescu via Digitalmars-d]

On 6/11/17 12:28 PM, Timon Gehr wrote:

bool msg(bool constraint, string message){ return constraint; }

That'd be nice to consider, too, thanks. -- Andrei