Did you know ... Search Documentation:
Pack prologmud_I7 -- prolog/ec_planner/xray/TODO
  • compatibility_first VERSUS herbrand ???!!!
  • test dystatic
  • false --> [] (disj-lemmas)
  • check skim_reductions (takes too many of them???)