#ifndef CHECK_SOL_H
#define CHECK_SOL_H

#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

uint32_t check_sol(const uint32_t* sys, uint64_t sol, uint32_t N, uint32_t M);

#ifdef __cplusplus
}
#endif

#endif /* CHECK_SOL_H */
