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

Doel:

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...

=> Toekomstig werk

Flatzinc Parser

Evaluatie: ANTLR4

  • Technische voorstelling voor KRR devs
  • Positief

Flatzinc Parser

Evaluatie: Correctness checks

  • Gepland voor komende weken

Flatzinc Parser

By Matthias van der Hallen