potassco/clingo

Penyusun dan pemecah masalah untuk program logika.

↗ Buka di GitHub

Bintang

830

Fork

103

Bahasa

C++

Lisensi

MIT

Push terakhir

2 hari yang lalu

C++logic-programming answer-set-programming declarative-programming

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.