CMU Artificial Intelligence Repository
II: Integer arithmetic constraint system using interval
arithmetic.
lang/prolog/code/math/interval/
II is an integer interval arithmetic package that provides a
constraint handling system for integers. It deals correctly with
non-linear constraints and is able to solve diophantine equations.
Origin:
ftp.cpsc.ucalgary.ca:pub/sepia.interval/
Version: 1.5 (23-FEB-93)
Ports: Runs in Sepia Prolog 3.1.3 and Eclipse 3.2.3.
Makes extensive use of the meta_term features of Sepia.
Copying: Copyright (c) 1992-93, John G. Cleary, University of Calgary.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): John G. Cleary
University of Calgary
Now at
Dept. Computer Science,
University of Waikato,
Private Bag 3105,
Hamilton,
New Zealand.
Work: 64(7)838-4378
FAX: 64(7)838-4155
Keywords:
Authors!Cleary, II, Interval Arithmetic, Math, Prolog!Code,
Prolog!Math, Univ. of Calgary
References: ?
Last Web update on Mon Feb 13 10:33:50 1995
AI.Repository@cs.cmu.edu