Essays about: "linter MiniZinc combinatorial optimisation static analysis models"

Found 1 essay containing the words linter MiniZinc combinatorial optimisation static analysis models.

  1. 1. A Linter for Static Analysis of MiniZinc Models

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Erik Rimskog; [2021]
    Keywords : linter MiniZinc combinatorial optimisation static analysis models;

    Abstract : MiniZinc is a modelling language for constraint satisfaction and optimisation problems. It can be used to solve difficult problems by declaratively modelling them and giving them to a generic solver. A linter, a tool for static analysis, is implemented for MiniZinc to provide analysis for improving models. READ MORE