1. cacol89
  2. YADI

Branches

Branch Behind Ahead Updated Pull request Builds Actions
develop Main branch
master - -
feature/agregate_functions - -
feature/negation - -
feature/recursion - -
feature/stratification - -
feature/error_reporting - -
feature/command_arguments - -
feature/auto_tests - -
feature/self_cross_prod - -
feature/automated_tests - -
feature/rule_union - -
feature/pretty-print - -
feature/inequations - -
feature/arity_check - -
feature/basic_equality_support - -
substitutions - -
feature/import_schema - -
anonvar - -