Rich Model Toolkit encyc https://richmodels.epfl.ch/ 2026-04-30T15:40:22+02:00 Rich Model Toolkit https://richmodels.epfl.ch/ https://richmodels.epfl.ch/lib/tpl/bootstrap3/images/favicon.ico text/html 2010-04-09T14:54:41+02:00 encyc:collections https://richmodels.epfl.ch/encyc:collections?rev=1270817681&do=diff Collections text/html 2010-04-09T14:47:46+02:00 encyc:local_theories https://richmodels.epfl.ch/encyc:local_theories?rev=1270817266&do=diff Local Theories text/html 2010-04-09T14:45:50+02:00 encyc:top https://richmodels.epfl.ch/encyc:top?rev=1270817150&do=diff Online Encyclopedia of Solvable and Unsolvable Constraints