pub fn cautious_consequences(models: &[u64]) -> u64
Cautious (skeptical) consequences: the atoms in EVERY answer set (bit-AND of all models). 0 if there are no models.
0