choco - Choco-solver: 変数の係数は実数です

Question

Choco Solver で数式をエンコードする方法を探しています。次のような制約をエンコードする方法があることがわかりました。

3x + 4y < 9

しかし、私は次のようなものをエンコードしようとしています

3.5*x + 4.3*y < 9.3

ここでx、 とyは int 変数で、係数は実数です。

Answer 1

実数が必要な場合は、choco で実数を処理するためのライブラリとして使用されるIbex ソルバー ( http://www.ibex-lib.org/ ) をインストールする必要があります (特定のインストールhttp://www.ibex-lib.org を参照)。 org/doc/java-install.html )

一番、

ジャン・ギヨーム・ファージュ https://www.cosling.com/