Hi,
is it possible to get all used/asserted variables after sat call?
Something like:
BoolectorNode equal = boolector_eq( boolector_var("a"), boolector_var("b") );
boolector_assert(equal);
boolector_sat();
BoolectorNode[] vars = get_vars();
I want either the nodes of "a" and "b" or the assignments, but without saving them separately.
Thank you for your help and work,
Daniel