We consider the notion of a connection on a module over a commutative ring, and deduce an obstruction calculus for determining if there exist such connections. The obstruction calculus is defined using Hochschild cohomology. However, in order to compute with Gröbner bases, we need the non-trivial conversion to a description using free resolutions. We describe our implementation in Singular 3.0,...