name(clpBNR). title('CLP over Reals using Interval Arithmetic - includes Rational, Integer and Boolean domains as subsets.'). version('0.11.9'). author('Rick Workman', 'ridgeworks@mac.com'). home('https://github.com/ridgeworks/clpBNR'). download('https://github.com/ridgeworks/clpBNR.git'). requires(prolog >= '9.1.22'). requires(prolog:rationals).