What I have in mind (next step)

[Raphael Collet]

George Rudolph wrote:
> 
> What I intend here are things such as the following:
> 
> 1. Add constraints to the existing code to say that 
> one of the starter blocks must be {0, 12, 24} or
> {0, 35,87}, or some set of two or more blocks.
> 
> 2. Add constraints that specify that every block must follow some 
>    additional desired pattern, such as {0, X, X+3}.

Those shouldn't be a problem per se.  However, keep in mind that in your 
current solver, the blocks in the list "Blocks" are lexically ordered. 
This arbitrary order breaks a symmetry in the problem, and already 
reduces the number of solutions.  All blocks also have the form [0 X Y] 
with 1=<X<31 and 2*X=<Y<93-X.

Simply be careful to not introduce extra constraints that would be 
inconsistent with the existing ones.  Besides that, breaking more 
symmetries sounds like a good idea.

Cheers,
raph