Aim of the project

AriNET is a computer language enabling the end user to design and solve, relatively complicated arithmetical equations. Using various reserved keywords¹, the user can model arithmetical networks, which will be eventually solved by the computer.²

The idea of AriNET hides two main concepts in terms of development:

• The writing of a language interpreter based on the constraint propagation.

• The design of a GUI, which helps the user to model and use arithmetical networks. This GUI was coded using MrEd, an extend of MzScheme³

These main concepts contain, of course, various tasks such as the designing of an environment of evaluation, the coding of an evaluator, the understanding of constraints' propagation, the implementation of a read-eval-print loop...