modified cover algorithm to support selected columns to cover (via must_cover attribute)
added n-queens solver and test