MiniZinc Python
develop
Getting Started
Basic Usage
Advanced Usage
API
CHANGELOG
MiniZinc Python
Index
Edit on GitHub
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
_
__getitem__() (minizinc.model.Model method)
(minizinc.result.Result method)
__len__() (minizinc.result.Result method)
__setitem__() (minizinc.model.Model method)
_executable (minizinc.driver.Driver attribute)
_identifier (minizinc.solver.Solver attribute)
A
add_file() (minizinc.instance.Instance method)
(minizinc.model.Model method)
add_string() (minizinc.instance.Instance method)
(minizinc.model.Model method)
ALL_SOLUTIONS (minizinc.result.Status attribute)
analyse() (minizinc.instance.Instance method)
AssertionError
available_solvers() (minizinc.driver.Driver method)
B
branch() (minizinc.instance.Instance method)
C
check_result() (in module minizinc.helpers)
check_solution() (in module minizinc.helpers)
columns (minizinc.error.Location attribute)
configuration() (minizinc.solver.Solver method)
ConfigurationError
D
description (minizinc.solver.Solver attribute)
Driver (class in minizinc.driver)
E
ERROR (minizinc.result.Status attribute)
EvaluationError
executable (minizinc.driver.Driver property)
(minizinc.solver.Solver attribute)
extraFlags (minizinc.solver.Solver attribute)
F
file (minizinc.error.Location attribute)
files() (minizinc.instance.Instance method)
find() (minizinc.driver.Driver class method)
flat() (minizinc.instance.Instance method)
from_output() (minizinc.result.Status class method)
H
has_output_item (minizinc.instance.Instance property)
has_solution() (minizinc.result.Status method)
I
id (minizinc.solver.Solver attribute)
input (minizinc.instance.Instance property)
Instance (class in minizinc.instance)
isGUIApplication (minizinc.solver.Solver attribute)
L
line (minizinc.error.Location attribute)
load() (minizinc.solver.Solver class method)
Location (class in minizinc.error)
location (minizinc.error.MiniZincError attribute)
lookup() (minizinc.solver.Solver class method)
M
make_default() (minizinc.driver.Driver method)
MAXIMIZE (minizinc.model.Method attribute)
message (minizinc.error.ConfigurationError attribute)
(minizinc.error.MiniZincError attribute)
Method (class in minizinc.model)
method (minizinc.instance.Instance property)
MINIMIZE (minizinc.model.Method attribute)
minizinc
module
minizinc_version (minizinc.driver.Driver property)
MiniZincError
Model (class in minizinc.model)
module
minizinc
mznlib (minizinc.solver.Solver attribute)
mznlibVersion (minizinc.solver.Solver attribute)
N
name (minizinc.solver.Solver attribute)
needsMznExecutable (minizinc.solver.Solver attribute)
needsPathsFile (minizinc.solver.Solver attribute)
needsSolns2Out (minizinc.solver.Solver attribute)
needsStdlibDir (minizinc.solver.Solver attribute)
O
objective (minizinc.result.Result property)
OPTIMAL_SOLUTION (minizinc.result.Status attribute)
output (minizinc.instance.Instance property)
output_configuration() (minizinc.solver.Solver method)
output_type (minizinc.model.Model attribute)
P
parse_error() (in module minizinc.error)
parsed_version (minizinc.driver.Driver property)
R
requiredFlags (minizinc.solver.Solver attribute)
Result (class in minizinc.result)
S
SATISFIED (minizinc.result.Status attribute)
SATISFY (minizinc.model.Method attribute)
solution (minizinc.result.Result attribute)
solutions() (minizinc.instance.Instance method)
solve() (minizinc.instance.Instance method)
solve_async() (minizinc.instance.Instance method)
Solver (class in minizinc.solver)
statistics (minizinc.result.Result attribute)
Status (class in minizinc.result)
status (minizinc.result.Result attribute)
stdFlags (minizinc.solver.Solver attribute)
supportsFzn (minizinc.solver.Solver attribute)
supportsMzn (minizinc.solver.Solver attribute)
supportsNL (minizinc.solver.Solver attribute)
SyntaxError
T
tags (minizinc.solver.Solver attribute)
TypeError
U
UNBOUNDED (minizinc.result.Status attribute)
UNKNOWN (minizinc.result.Status attribute)
UNSATISFIABLE (minizinc.result.Status attribute)
V
version (minizinc.solver.Solver attribute)
Read the Docs
v: develop
Versions
latest
0.9.0
0.8.0
0.7.0
0.6.0
0.5.0
0.4.2
0.4.1
0.4.0
0.3.3
0.3.2
0.3.1
0.3.0
0.2.3
0.2.2
0.2.1
0.2.0
develop
0.1.0
Downloads
On Read the Docs
Project Home
Builds