conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 20 forks source link

Generate params.irace file automatically from generator.essence #510

Closed ozgurakgun closed 2 years ago

ozgurakgun commented 2 years ago

Importing, from @ndangtt

As part of making AutoIG applicable to any problem, we need conjure to produce params.irace file from an Essence generator model. Could you please help to implement it?

The expected command is:

conjure autoig --generator-to-irace <generator_model> <irace_param_file>

Example (run from AutoIG-private repo home folder):

conjure autoig --generate-irace models/macc/generator.essence temp-params.irace

This should produce a temp-params.irace that has the same content as models/macc/params.irace

ozgurakgun commented 2 years ago

For each given integer in the generator model, we want to generate a matching irace statement.

The command renamed to: conjure autoig --generator-to-irace works.essence

ozgurakgun commented 2 years ago

Did you want this available in a specific branch as well @ndangtt? It is currently pushed to master.

ozgurakgun commented 2 years ago

Seems to work.