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