pub fn py_solve_linear_integer(
a: Vec<Vec<i64>>,
b: Vec<i64>,
) -> PyResult<Vec<i64>>Expand description
Solve the linear system a * x = b over the integers.
Returns a list of integer solutions, or raises ValueError if no
integer solution exists.