Parallel Algebraic Constraint Solver for Integer Programming

Characteristics of IP:

	Combinatorial Optimisation
	Numerical methods based on the ``hill-climbing'' do not work
	Huge search space