MiniZinc Python
0.8.0
Getting Started
Basic Usage
Advanced Usage
API
CHANGELOG
MiniZinc Python
Docs
»
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 attribute)
(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)
H
has_solution() (minizinc.result.Status method)
I
id (minizinc.solver.Solver attribute)
input (minizinc.instance.Instance attribute)
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 attribute)
MINIMIZE (minizinc.model.Method attribute)
minizinc (module)
minizinc_version (minizinc.driver.Driver attribute)
MiniZincError
Model (class in minizinc.model)
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 attribute)
OPTIMAL_SOLUTION (minizinc.result.Status attribute)
output (minizinc.instance.Instance attribute)
output_configuration() (minizinc.solver.Solver method)
output_type (minizinc.model.Model attribute)
P
parse_error() (in module minizinc.error)
parsed_version (minizinc.driver.Driver attribute)
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: 0.8.0
Versions
latest
0.9.0
0.8.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
Free document hosting provided by
Read the Docs
.