atpg-ls/CCAnr/ccanr.h

9 lines
140 B
C++

namespace CCAnr {
void module_init();
int module_pick_var();
void module_flip_var(int var);
void module_reset();
int* module_cur_soln();
}