「ルール３つで矛盾が起きたら750のルールが取り除かれる」だけですよね

6:40 AM

そうすると不等号2つだけが残るけど、不等号制約は別に、 >= の「境界値に近づく」ように制約解決する方向付けの作用って無いんじゃないかと（あるのかな

6:41 AM

とりあえず試してみます