Enginest focuses on data processing, artificial intelligence, operations research, logic programming and language analysis technologies. The fruit of such a technological combination is the NCL Natural Constraint Language.
The purpose of designing NCL is to offer users an easy-to-access toolkit for handling constraint satisfaction problems.
Concerning its problem solving capability, it is distinguished from existing products by its unique innovation:
- Semantic Parser adopts pattern recognition technique in natural modeling and model diagnosing
- Mixed Set Programming (over reals, integers, booleans, references and sets) deals with NP hard problems
- Resolution rules support flexible control of search