Monadic constraint programming (Q3648354)

From MaRDI portal