potassco/clingo

🦉 論理プログラム用グラウンダーおよびソルバー。

↗ GitHub で開く

スター

830

フォーク

103

言語

C++

ライセンス

MIT

最終プッシュ

2 日前

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

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。