ENGINEST se consacre sur les technologies de la programmtion par contraintes, de la recherche opérationnelle, de l’intelligence artificielle, de l’analyse de langage et du traitement des données. Le résultat de tant de recherches technologiques est NCL Natural Constraint Language.
NCL offre aux utilisateurs un outil facile à l’utiliser pour répondre aux besoins d’optimisations avec des contraintes.
Exclusively based on math & logic standards and adopting reduced set of conventional notations, NCL’s cleanness and simplicity make it easily accessible to beginners. Concerning its problem solving capability, it is distinguished from existing products by its unique innovation:
L’analyseur sémantique global adopte la technique de reconnaissance de formes dans le fait de modélisation naturelle et dans le fait de diagnostic de modèles.
La programmation ensembles mixtes (réels, entiers, booléens, références et ensembles) permet de traiter des problèmes NP-difficiles.
Les règles de résolution permet d'un contrôle flexible de la recherche de solution.
POEM
Langage NCL
