Malcolm Ryan wrote: > Is it possible to find out how many variables are in a particular > space? Or how many active propagators? Variables, no. Propagators, yes, using the propagators() method of a Space. Inactive, i.e. subsumed propagators, are not copied, so propagators() returns the number of active propagators. Cheers, Guido