Constraints in NUT. NUT is a programming system for knowledge-based programming with facilities for automatic program synthesis. The system allows to specify computational problems in OO style. Concepts and objects can be treated in NUT as functional constraint networks. Constraint satisfaction problems are solved using algorithms for automatic program synthesis described earlier for the PRIZ system.

References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Penjam, Jaan; Tyugu, Enn: Constraints in NUT (1994)
  2. Meriste, Merik; Penjam, Jaan: Toward knowledge-based specifications of languages (1991)