Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
Primary LanguageOCamlOtherNOASSERTION