Open mcbain opened 7 years ago
I want to understand a little more how the solver works. Can you give a simple constraints example where addWithArtificialVariable is beeing used.
I want to understand a little more how the solver works. Can you give a simple constraints example where addWithArtificialVariable is beeing used.