Expressing range constraints in CNF form

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Sun Jun 11 09:41:55 PDT 2017


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


More information about the Digitalmars-d mailing list