API Choco division

Bonjour,

J'aimerais savoir s'il est possible avec Choco solver, de faire une division de deux variables de type réels ?

Choco.div(a,b) avec a et b sont deux RealVariable

Sinon, y a-t-il un moyen de faire cette division ?

Merci d'avance

Et si tu fais

Code:

---

1 2	RealMath.mul(RealMath.iPower(a,-1),b)

---

?

P.S. : je ne connais pas du tout cette lib, mais apparemment avec le peu de javadoc ca devrait le faire

Ce que tu as posté ce n'est pas du Choco :(

Merci quand même.

Non ce n'est pas du choco en effet. Dans choco il n'y a pas de division avec un nombre réel pour le peu que j'ai essayé.

Il faudrait essayer, mais la solution de chtig pourrait fonctionner avec choco...

C'est du choco, mais pas du choco solver (http://choco.sourceforge.net/api/).
Mais l'idée est peut être récupérable non ?
x/y = x * y^-1
Encore une fois, je ne connais pas du tout cette lib. Tu peux me montrer une opération que tu aurais déjà faite ? (addition, multiplication, ...)