ENGINEST 专注于人工智能、运筹学与数据处理技术领域。这些研究成果催生了 NCL(Natural Constraint Language)，图灵完备的数学语言，旨在以逻辑与直观的方式建模求解工业问题。

科技优势：

   数学解析器与数学调试器: 人工智能技术识别基于一阶逻辑的自然数学表达式；

  混合式集合规划：求解实数、整数、布尔值、字符串、集合、日期/时间等域的问题。

学术发表：

  J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978‑3‑642‑23844‑4 (2012).

  J. Zhou: The NCL Natural Constraint Language. Science Press Beijing, ISBN 978‑7‑03‑024973‑9 (2009).

  J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45(1–3): 71–103 (2000).

  J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of Third International Conference on Systems Science & Systems Engineering: 205–210 (1998).