MiniZinc Python
0.6.0
Getting Started
Basic Usage
Library Structure
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)
_identifier (minizinc.solver.Solver attribute)
A
add_file() (minizinc.CLI.CLIInstance method)
(minizinc.model.Model method)
add_string() (minizinc.CLI.CLIInstance method)
(minizinc.model.Model method)
ALL_SOLUTIONS (minizinc.result.Status attribute)
analyse() (minizinc.CLI.CLIInstance method)
available_solvers() (minizinc.CLI.CLIDriver method)
(minizinc.driver.Driver method)
B
branch() (minizinc.CLI.CLIInstance method)
(minizinc.instance.Instance method)
C
check_result() (in module minizinc.helpers)
check_solution() (in module minizinc.helpers)
CLIDriver (class in minizinc.CLI)
CLIInstance (class in minizinc.CLI)
columns (minizinc.error.Location attribute)
configuration() (minizinc.solver.Solver method)
ConfigurationError
create_process() (minizinc.CLI.CLIDriver method)
D
description (minizinc.solver.Solver attribute)
Driver (class in minizinc.driver)
E
ERROR (minizinc.result.Status attribute)
EvaluationError
executable (minizinc.CLI.CLIDriver attribute)
(minizinc.solver.Solver attribute)
extraFlags (minizinc.solver.Solver attribute)
F
file (minizinc.error.Location attribute)
files() (minizinc.CLI.CLIInstance method)
find_driver() (in module minizinc)
flat() (minizinc.CLI.CLIInstance method)
H
has_solution() (minizinc.result.Status method)
I
id (minizinc.solver.Solver 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.CLI.CLIDriver method)
(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.CLI.CLIInstance attribute)
(minizinc.instance.Instance attribute)
MINIMIZE (minizinc.model.Method attribute)
minizinc (module)
minizinc_version (minizinc.CLI.CLIDriver attribute)
(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_configuration() (minizinc.solver.Solver method)
output_type (minizinc.model.Model attribute)
P
parse_error() (in module minizinc.error)
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.CLI.CLIInstance method)
(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)
T
tags (minizinc.solver.Solver attribute)
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.6.0
Versions
latest
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
.