Flatzinc Parser

• Correctness checks
  • IDP3 grounding uitschrijven naar flatzinc
  • ​Flatzinc files v. Internet / zelfgeschreven
• Test met ANTLR4 als parser generator library
• Test voor IDP4 design

Flatzinc Parser

Uitwerking:

• ± 11 dagen
• Alle constraints behalve:
  • floats
  • sets
  • int_mod, int_times,
    array_bool_mod

Flatzinc Parser

Evaluatie: IDP4 Design

Werkt behoorlijk aangenaam:

• Intuitieve naamgeving / memory model
• Aangename debugging:
  • Termen vlot te identificeren
  • Goed te inspecteren (AST reconstructie)
• Een aantal lastigere abstracties (NegSum)
• Tekort aan documentatie

Flatzinc Parser

Evaluatie: Parser zelf

• Enkele voorstellingen kunnen efficiënter
• We gebruiken nog geen informatie uit flatzinc annotaties: defined_var, defines_var...

Flatzinc Parser

Evaluatie: ANTLR4

• Technische voorstelling voor KRR devs
• Positief

Flatzinc Parser

Evaluatie: Correctness checks

• Gepland voor komende weken