Tech Report CS-95-32

Helios: A Mathematical Modeling Language for Newton

Laurent Michel and Pascal Van Hentenryck

October 1995

Abstract:

Numerous applications in science and engineering requires nonlinear constraint solving and optimization over real numbers. Helios is a mathematical modeling language designed to express these applications in a form close to traditional statements displayed in scientific papers and textbooks. Helios is compiled into Newton, a constraint logic programming language over nonlinear constraints which is one of the most efficient tools for the global solution of these problems. The paper illustrates the main functionalities of Helios, describes the compilation process, and reports experimental results on traditional benchmarks in this area. The results indicate that Helios should be a valuable addition to the set of tools available in this area.

(complete text in pdf or gzipped postscript)