Skip to content

Updated user and developer manual

Christoph Weinhuber requested to merge update/docs-v3 into master

Added chapters on:

  • Priority strategies
  • Web-based GUI
  • Semi-automatic cli
  • Algebraic user-defined predicates
  • Predicate Parser
  • Richer Domain Split etc

Merge request reports