Object-oriented constraint programming environment NeMo+ and its applications

A constraint programming environment NeMo+, which is implemented on a base of a so-called subdefinite models approach is presented. Subdefinite models are a variety of constraint programming techniques. NeMo+ includes a high-level object-oriented declarative language for specification of data types and constraints. The method of subdefinite models is briefly reviewed in the first part of the paper. The NeMo+ architecture and the NeMo+ language are presented in the second part. The NeMo+ main capabilities in solving some problems and benchmarks are considered in the rest of the paper.