Function compute_answer_sets 

pub fn compute_answer_sets(
    atoms: &[u64],
    rules: &[AspRule],
    out: &mut [u64],
) -> usize

Compute the stable models (answer sets) of rules over atoms. Each answer set is written to out as a bitmask over atom indices (bit i ⇔ atoms[i] is in the set). Returns the number found. Zero-heap; bounded to ASP_MAX_ATOMS atoms.