parsing reasoner output is very slow
Brought to you by:
miracelwhipp
Menu
▾
▴
#3 parsing reasoner output is very slow
parsing reasoner output is very slow due to many hides-predicates. For a completely shuffled 32 card deck, which is totaly unknown, there will be 32! * number of roles hides-predicates. One option is to implement another hide-mechanism. Another is to make communication with clingo by pipes rather than files.
