A modeling layer for constraint-programming libraries
scientific article; zbMATH DE number 6047376