constraint-programming

5ısı

2cevap

SMT Z3 usecases (DbC gibi) ve Z3'e açık kaynak alternatifi için pratik örnekler mi arıyorsunuz?

SMT Z3 kullanımının pratik örnekleri (DbC gibi) ile bu araç için kod ve açık kaynak alternatifleri ile ilgileniyorum. Yani, aslında, ben benzer Z3 resmi çözme araçları ilgileniyorum, ama: açık kaynak

5ısı

2cevap

PHP'de kısıtlama programlama

PHP için herhangi bir kısıtlama programlama kütüphanesi var mı? this gibi bir durumu ele alabilecek bir şey.

0ısı

1cevap

Choco Çözücü

dizisindeki min ve maksimum değişken arasındaki mesafeyi tanımlamak için ICF kısıtlaması Bir dizi Choco çözücü IntVar değişkenine sahip olduğumu söyleyebilirim, X1, X2, ..., Xn. Kuralı zorlayan bir kı

0ısı

1cevap

Choco Çözücü Sınırı içinde bir IntVar dizisinin standart sapmasını tanımlamak için ICF kısıtlaması

Say, IntVar dizisi int n = 10; IntVar [] x = VariableFactory.boundedArray ("x", n, 0, 100, çözücü); Bu dizinin standart sapmasını (ondalık sayıya sahip bir sayı olabilir) kısıtlayan bir kısıtlamayı, ö

5ısı

1cevap

OptaPlanner sürekli değişkenler üzerindeki optimizasyonları ve kısıtlamaları destekliyor mu?

Belgedeki çelişkili şeyleri okuyorum. bir planlama değer aralığı planlama değişkeni için olası planlama değerlerin kümesidir: Bir yandan , bu pasaj sürekli planlama değişkenleri mümkün olduğuna da işa

4ısı

1cevap

3-in-a-satır mantık bulmaca: deneyin ve bu şekilde, mavi ve beyaz kareler ile ızgara doldurmak aşağıdaki bulmaca listeler/diziler

sekans kısıtlamaları için optimizasyon olduğu: A3 Aynı rengin satırında (veya sütununda) izin verilmez. Her satır ve sütun eşit sayıda mavi ve beyaz kareye sahiptir. 0 _ _ _ 1 _ _ 0 _ _ _ _ _ _ _ _

0ısı

1cevap

görüntüyü kısıtlamaları kullanarak bir tablo görünümü hücresinin ortasında ayarlamaWithVisualFormat

Programsal olarak kısıtlamaları kullanarak bir tablo görünümü hücresinin ortasında bir görüntü yerleştirmeye çalışıyorum. Ben buna internetten bir çalışma örneği alıp yeniden güncelledik: Neyi yanlış