PPT Slide

A program to solve the Soma Cube

Suppose that C[0], C[1],...C[6] are 7 compatible sets of Soma pieces (i.e. one of the 11 compatible sets satisfying the vefc theorem)

Call solve({},{},0)

void solve(trial, sol, k) {

if kɟ for p in C[k] if disjoint(p,trial)

solve(union(trial,p), union(sol,{p}), k+1)

else

print(sol)

}