toka

Normal veya genişletilmiş mantık programları için bir cevap Solver.
Şimdi İndirin

toka Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • Freeware
  • Yayıncı adı:
  • University of Applied Sciences Potsdam
  • İşletim sistemleri:
  • Windows All
  • Dosya boyutu:
  • 408 KB

toka Etiketler


toka Açıklama

Toka izin verir, normal mantık programlarını çözmenize izin veren Cevap Seti Programlama Algoritması'nın bir uygulamasıdır. Yöntem, çatışma odaklı nogood öğrenme tekniğine dayanmaktadır. Bu aracı, Cevap Seti çözmeyi içeren projeleriniz için bir ASP Çözücü, SAT Çözücü veya PB Çözücü olarak kullanabilirsiniz.


toka İlgili Yazılım

Java2sd

Kodun sırası diyagramları oluşturmak için Java tabanlı bir araç ...

49 642 KB

İndirmek

Otolog

Sınıflarla kullanımı kolay hale getiren python için bir modül ...

37 199 KB

İndirmek

Hakkımızda