search

conjure-cp / conjure

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

Bad solutions file with no solutions and certain flags #541

Closed JBeaddie closed 1 year ago

JBeaddie commented 1 year ago

Assume that impossible.essence is an essence file with no solutions.

Then running:

conjure solve impossible.essence --solutions-in-one-file --output-format=json

Conjure will still create a model000001.solutions.json file. In addition the solutions file will only contain:

]

A right square-bracket.

ozgurakgun commented 1 year ago

I think it probably should still create the file but have [] in it, what do you think?

ozgurakgun commented 1 year ago

I've implemented this in #542