https://123dok.org/document/yngnvdmk-architecture-for-constraint-programming-systems.html