Function enumerate_stable_models 

pub fn enumerate_stable_models(
    base: &NQuin,
    rules: &[NQuin],
    out_worlds: &mut [u64; 8],
) -> usize

Returns number of stable models found (max MAX_STABLE_MODELS = 8) Worlds are encoded as context-hash variants: world_i_context = base_context ^ (i as u64)