Skip to main content

evaluate_manifold_answer_sets

qualia_core_db::modalities::manifold

Function evaluate_manifold_answer_sets 

Source 
pub fn evaluate_manifold_answer_sets(
    states: &[ManifoldState10D],
    out: &mut [u64],
) -> usize
Expand description

Derive bounded topology facts from manifold states and run the real Gelfond-Lifschitz answer-set evaluator.