Clojurians Log v2

I'm trying to solve a problem which I think is a good fit for core.logic

in short given various groups of people and a set of tables for 10 people each

place the various groups in the various tables trying to maximize the space used, not splitting groups and possibly a few other constraints

but for example I don't see anything in the API to add constraints on the length of the produced vector