TODO.md

ToDos

Important Features

2023

• New CLI structure
  • different modes:
    • MUC
    • UNSAT-CONSTRAINTS
  • can be enabled through flags
• Iterative Deltion for Multiple MUCs
  • variation of the QuickXplain algorithm : SKIPPED
• Finish unsat-constraints implementation for the API

2024 - JAN

• New option to enable verbose derivation output
  • --show-decisions with more fine grained --decision-signature option
• Make --show-decisions its own mode
• Give a warning in Transformer if control is not grounded yet
• Documentation
  • Proper README
  • Docstrings for all API functions
  • CLI documentation with examples
  • Examples folder
    • Sudoku
    • Graph Coloring
    • N-Queens
• Error when calling --muc constants aren't properly kept:
  • The problem was in AssumptionTransformer where get_assumptions didn't have proper access to constants defined over the CL and the program constants
• AssumptionTransformer doesn't work properly on included files
  • It actually did work fine

2024 - FEB

• In --show-decisions hide INTERNAL when --decision-signature is active
• cleanup DecisionOrderPropagator print functions
• Features for --unsat-constraints
  • File + Line (Clickable link)
• Confusing Optimization prints during --muc when finding mucs in optimized Programs
• File-Link test with space in filename
  • with urllib.parsequote
• Write up why negated assumptions in MUC's are a problem
  • One which is currently not addressed by clingo-explaid
• Remove minimization also from --unsat-constaints mode
• Change file identification to use clingo.ast.Location instead of the subtring search and own built file tree
• Add spaces around Link to make it clickable on MAC

2024 - MAR

• Add way for -a to allow for signatures without variables (test/0)

Extra Features

• --unsat-constraints:
  • Access comments in the same line as constraint
  • Currently, for multiline constraints a line number cannot be found
• Timeout