eprc.solver.
VariableRegister
VIRTUAL_VERSION
get_virtual_variable
register_set
register_single
solve