We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d8ef5d2 commit 3bc82dcCopy full SHA for 3bc82dc
README.md
@@ -178,3 +178,6 @@ Set options using [`MOI.RawOptimizerAttribute`](@ref) in MOI or
178
* `model_filename::String = ""`: the location at which to write out the `.mzn`
179
file during optimization. This option can be helpful during debugging. If
180
left empty, a temporary file will be used instead.
181
+
182
+ * [`MOI.SolutionLimit`](@ref): set this option to a positive integer to return
183
+ up to the `limit` number of solutions.
0 commit comments