default.settings

# Default settings file.

# Settings from this file as always loaded by Zephyrus first.
# Settings redeclared in other settings files (included using the --settings option)
# will overwrite these settings (e.g. in case of solver choice setting)
# or append new values to them (e.g. in case of output files setting).

# Uncomment these lines to always use a custom solver:
#solver = custom
#custom-solver-command = "flatzinc -o <OUT> <IN>"

# Uncomment these lines to get maximum debug printing:
#verbose-level = 2
#verbose-data = y

# Uncomment these lines to change the place where MiniZinc files are created and how they are named:
# (if you specify a path "/foo/bar/baz-.mzn" then files will be created
#  in the "/foo/bar/" directory and will be named "baz-[random part].mzn")
#solver-constraint-file = "/tmp/zephyrus-.mzn"
#solver-solution-file   = "/tmp/zephyrus-.sol"
#solver-keep-constraint-file = y

# Uncomment these lines to output simple results (final configuration in form of a JSON file and a deployment graph):
#results = [("json-v1", "output.json"); ("graph-deployment", "output.dot")]