QOCA: A constraint solving toolkit for interactive graphical applications
scientific article; zbMATH DE number 1903967