
Using Constraint Programming to Solve Math Theorems
Case study: the quasigroups existence problem Yan Georget · Follow Published in Towards Data Science · 5 min read · 7 hours ago — TLDR Some mathematical theorems can be solved by combinatorial exploration. In this article, we focus on the problem of the existence of some quasigroups. We will demonstrate the existence or non existence of some quasigroups using NuCS. NuCs is a fast constraint solver written 100% in Python that I am currently