Multiplication constraint-satisfcation problem with different languages - View it on GitHub