News for hackers. Stuff that matters.

A comment on Grappling with Infinity in Constraint Solvers.

Re:Grappling with Infinity in Constraint Solvers by codelion on Sunday November 17, 2019 @05:51PM (#21560563)
It is also possible to build a model of Presburger arithmetic extended with infinity. We did that a few years back, you can try it out online here - http://loris-5.d2.comp.nus.edu.sg/SLPAInf/
[ Parent | on HN ]

There are no comments on this comment yet.