制約充足問題を解決するために設計されたオープン ソースの Java クラス ・ ライブラリ。この CSP ライブラリ独立 (プロジェクトの所有者) によって開始され、バベシュ ボヨイ大学、ルーマニアに関連付けられています。http://www.cs.ubbcluj.ro/