xcsp-launcher
Contents
Home
Overview
🖥️ Command Line Interface
🐍 Python Library Usage
Solver Configuration and Building
API Reference
xcsp-launcher
Index
Index
A
|
C
|
E
|
I
|
L
|
M
|
N
|
O
|
R
|
S
|
T
|
U
|
V
|
X
A
add_complementary_options() (xcsp.solver.solver.Solver method)
alias (xcsp.solver.solver.Solver property)
all_solutions() (xcsp.solver.solver.Solver method)
available_solvers() (xcsp.solver.solver.Solver static method)
C
CheckStatus (class in xcsp.solver.solver)
cmd (xcsp.solver.solver.Solver property)
create_from_cli() (xcsp.solver.solver.Solver static method)
E
ERROR (xcsp.solver.solver.ResultStatusEnum attribute)
I
id (xcsp.solver.solver.Solver property)
INVALID (xcsp.solver.solver.CheckStatus attribute)
L
lookup() (xcsp.solver.solver.Solver static method)
M
MEMOUT (xcsp.solver.solver.ResultStatusEnum attribute)
module
xcsp.solver.solver
N
name (xcsp.solver.solver.Solver property)
NO_CHECK (xcsp.solver.solver.CheckStatus attribute)
O
objective_value() (xcsp.solver.solver.Solver method)
OPTIMUM (xcsp.solver.solver.ResultStatusEnum attribute)
R
ResultStatusEnum (class in xcsp.solver.solver)
S
SATISFIABLE (xcsp.solver.solver.ResultStatusEnum attribute)
set_collect_intermediate_solutions() (xcsp.solver.solver.Solver method)
set_delay() (xcsp.solver.solver.Solver method)
set_error() (xcsp.solver.solver.Solver method)
set_is_timeout() (xcsp.solver.solver.Solver method)
set_json_output() (xcsp.solver.solver.Solver method)
set_limit_number_of_solutions() (xcsp.solver.solver.Solver method)
set_output() (xcsp.solver.solver.Solver method)
set_prefix() (xcsp.solver.solver.Solver method)
set_seed() (xcsp.solver.solver.Solver method)
set_time_limit() (xcsp.solver.solver.Solver method)
solve() (xcsp.solver.solver.Solver method)
Solver (class in xcsp.solver.solver)
status() (xcsp.solver.solver.Solver method)
T
TIMEOUT (xcsp.solver.solver.ResultStatusEnum attribute)
U
UNKNOWN (xcsp.solver.solver.ResultStatusEnum attribute)
UNSATISFIABLE (xcsp.solver.solver.ResultStatusEnum attribute)
V
VALID (xcsp.solver.solver.CheckStatus attribute)
version (xcsp.solver.solver.Solver property)
X
xcsp.solver.solver
module