Dear Prof. Roberto Bagnara,
I am Pham Diep Chi, a PhD student from Viet Nam. I use PPL for my thesis
research. I would like to ask you some question on PPL
I would like to print value of constraints (Constraint_System, C_Polyhedron,
...) on terminal, and i use print function but it does not show anything.
For example:
i have Constraint_System cs, C_Polyhedron ph;
i use print: cs.print(); ph.print();
they does not show their values on terminal (i use ubuntu OS);
I try to use function: print_constraints() as you use in examples codes,
but i always get error.
Could you explain for me and give me a suggestion to print the values of
constraint on terminal please?
Beside, Can i convert the value of contraint to string (text) and inverse?
for example i have a constraint has value : a + b >=5 i would like to
convert it to "a+b >=5". How do i convert like that.
Thank you very much for your time and i look forward to hearing from you
soon.
Best regards,
Diep Chi