Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API. - View it on GitHub