命令型制約プログラミング
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/26 14:10 UTC 版)
「制約プログラミング」の記事における「命令型制約プログラミング」の解説
命令型プログラミングでも制約プログラミングが別ライブラリとして提供されることが多い。制約プログラミングに関する主なライブラリを以下に挙げる: Choco （Javaライブラリ、BSDライセンス） Gecode （C++ライブラリ、MITライセンス） IBM ILOG CPLEX CP Optimizer （C++ライブラリ、プロプライエタリ） iZ-C （C言語ライブラリ、プロプライエタリ、基本的に無償） Minion （C++による制約充足問題を解くシステム、GPL） Scarab （Scalaライブラリ、BSDライセンス） FaCiLe（OCaml用の整数および整数集合領域用ライブラリ、LGPL）
※この「命令型制約プログラミング」の解説は、「制約プログラミング」の解説の一部です。
「命令型制約プログラミング」を含む「制約プログラミング」の記事については、「制約プログラミング」の概要を参照ください。
ウィキペディア小見出し辞書の「命令型制約プログラミング」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 命令型制約プログラミングのページへのリンク
