17namespace layer1_foundations {
18namespace data_structures {
void allocate(int m, int n)
void allocate_and_init(int m, int n, int *Mtx)
void matrix_print(int *p, int m, int n)
data_structures::int_vec * Int_vec
#define Int_vec_copy(A, B, C)
orbiter_kernel_system::orbiter_session * Orbiter
global Orbiter session
the orbiter library for the classification of combinatorial objects