João Pedro Schmitt

Results 3 comments of João Pedro Schmitt

Hello, Try to execute the steps in this [link](https://github.com/ibex-team/ibex-java/issues/3)

But, if removed the `unpost(Constraint... cstrs)` method what would be the new way to implement QuickXPlain? See this link: [Issue 509](https://github.com/chocoteam/choco-solver/issues/509)

I think for this PR it would be good to take inspiration from Hibernate about some inheritance models: https://www.baeldung.com/hibernate-inheritance