| Atık SAT tabanlı sistemler için bir prototipleme aracı |
Şimdi İndirin |
Atık Sıralama ve Özet
- Yayıncı adı:
- Daniel Zadorozny
Atık Etiketler
Atık Açıklama
Scarab, verimli SAT tabanlı programlama sistemleri oluşturmanıza yardımcı olacak bir bileşen paketi ile birlikte gelir. Scala Programlama Dili kullanılarak geliştirilen Scarab, DSL bileşenleri, bir SAT kodlama modülü içerir ve size arka uç SAT çözücünün bir arayüzü sunar.
Atık İlgili Yazılım