To do in API

Opened this issue 8 years ago · 0 comments

scungao commented 8 years ago

Single variable substitution
Print in infix form by default
Pretty-print all current constraints in the solver
True and false