tools/gen_solver_table.py script

Generate available solvers table for ReST documentation.

gen_solver_table.gen_solver_table(app)[source]
gen_solver_table.main()[source]
gen_solver_table.setup(app)[source]
gen_solver_table.trim(docstring)[source]

Trim and split (doc)string.

gen_solver_table.typeset(fd)[source]

Utility function called by Sphinx.

gen_solver_table.typeset_solvers_table(fd, solver_table)[source]

Generate solvers table ReST output.