Set the global kernel used by solvers and ``prove()``.
(k: Kernel)
| 152 | |
| 153 | |
| 154 | def set_kernel(k: Kernel) -> None: |
| 155 | """Set the global kernel used by solvers and ``prove()``.""" |
| 156 | global _kernel |
| 157 | _kernel = k |
| 158 | |
| 159 | |
| 160 | def _get_kernel() -> Kernel: |