Implementation of Knuth's DLX algorithm for Exact-Cover problem