制約プログラミング
命令型プログラミングでも制約プログラミングが別ライブラリとして提供されることが多い。制約プログラミングに関する主なライブラリを以下に挙げる:
Choco (Javaライブラリ、BSDライセンス)
Gecode (C++ライブラリ、MITライセンス)
IBM ILOG CPLEX CP Optimizer (C++ライブラリ、プロプライエタリ)
iZ-C (C言語ライブラリ、プロプライエタリ、基本的に無償)
Minion (C++による制約充足問題を解くシステム、GPL)
Scarab (Scalaライブラリ、BSDライセンス)
FaCiLe(OCaml用の整数および整数集合領域用ライブラリ、LGPL)