SpaceSolver - Approximate solution spaces using an Internet-based environment

Project Description

This Internet applications makes state-o-the-art constraint satisfaction techniques available on the Internet. users can freely register and specify their problems using mathematical expressions, i.e., equalities and inequalities. Automatic reformulation algorithms bring the original CSPs into an algebraic form suitable to the consistency algorithms subsequently used. SpaceSolver provides visualization facilities to view feasible region for constraints and to analyze projections of solution space approximations generated using consistency algorithms. Several consistency algorithms including arc-, path- and (3,2)-relational consistency are implemented using a discretized form of the constraints.

Moreover, SpaceSolver provides extensions for the collaborative use of constraints. This project has been embedded in the ICCS project on collaboration in the construction industry.