Exact Cover / Dancing Links solver in c++ with python interface