souffle-lang/souffle
@souffle-langSoufflé adalah varian dari Datalog untuk perancang alat yang membuat analisis dalam klausa Horn. Soufflé mensintesis program C++ paralel asli dari spesifikasi logika.
Bintang
1.155
Fork
242
Bahasa
C++
Lisensi
UPL-1.0
Push terakhir
2 bulan yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.