Index

A

add_clause() (pindakaas.ClauseDatabase method) (pindakaas.CNF method) (pindakaas.solver.CaDiCaL method) (pindakaas.solver.CaDiCaLInner method) (pindakaas.solver.Kissat method) (pindakaas.solver.KissatInner method) add_encoding() (pindakaas.ClauseDatabase method) (pindakaas.CNF method) (pindakaas.solver.CaDiCaL method) (pindakaas.solver.CaDiCaLInner method) (pindakaas.solver.Kissat method) (pindakaas.solver.KissatInner method)

add_weighted_clause() (pindakaas.WCNF method) ADDER (pindakaas.Encoder attribute)

B

BITWISE (pindakaas.Encoder attribute)

C

CaDiCaL (class in pindakaas.solver) CaDiCaLInner (class in pindakaas.solver) ClauseDatabase (class in pindakaas)

clauses() (pindakaas.CNF method) CNF (class in pindakaas) Constraint (in module pindakaas)

D

DECISION_DIAGRAM (pindakaas.Encoder attribute)

E

Encoder (class in pindakaas)

F

failed() (pindakaas.solver.MapResult method) (pindakaas.solver.Result method)

Formula (class in pindakaas) from_raw() (pindakaas.Lit static method)

I

InvalidEncoder

is_negated() (pindakaas.Lit method)

K

Kissat (class in pindakaas.solver)

KissatInner (class in pindakaas.solver)

L

LADDER (pindakaas.Encoder attribute)

Lit (class in pindakaas)

M

MapResult (class in pindakaas.solver) module pindakaas pindakaas.solver

N

new_var() (pindakaas.ClauseDatabase method) new_var_range() (pindakaas.ClauseDatabase method) (pindakaas.CNF method) (pindakaas.solver.CaDiCaL method) (pindakaas.solver.CaDiCaLInner method) (pindakaas.solver.Kissat method) (pindakaas.solver.KissatInner method)

new_vars() (pindakaas.ClauseDatabase method)

P

PAIRWISE (pindakaas.Encoder attribute) pindakaas module

pindakaas.solver module

R

Result (class in pindakaas.solver)

S

SATISFIED (pindakaas.solver.Status attribute) set_time_limit() (pindakaas.solver.CaDiCaLInner method) (pindakaas.solver.KissatInner method) solve() (pindakaas.solver.Solver method) solve_assuming() (pindakaas.solver.CaDiCaLInner method) (pindakaas.solver.KissatInner method)

Solver (class in pindakaas.solver) SORTED_WEIGHT_COUNTER (pindakaas.Encoder attribute) SORTING_NETWORK (pindakaas.Encoder attribute) Status (class in pindakaas.solver) status (pindakaas.solver.MapResult property) (pindakaas.solver.Result property)

T

to_dimacs() (pindakaas.CNF method)

TOTALIZER (pindakaas.Encoder attribute) TSEITIN (pindakaas.Encoder attribute)

U

UNKNOWN (pindakaas.solver.Status attribute)

Unsatisfiable UNSATISFIABLE (pindakaas.solver.Status attribute)

V

value() (pindakaas.solver.MapResult method) (pindakaas.solver.Result method)

var() (pindakaas.Lit method) variables() (pindakaas.CNF method)

W

WCNF (class in pindakaas)

weighted_clauses() (pindakaas.WCNF method)