Text this: Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers.