StlicsはJava言語によって実装されたファジィ制約充足問題（FCSP）ライブラリです．FCSPの構成要素である変数，ドメイン，制約のそれぞれがクラスとして用意されています．また，ソルバとして，数種類のアルゴリズム（Forward checking, Flexible local changes, SRS 3など）を提供します．これらを用いることによって，問題をプログラミングし，それをソルバに解かせることが出来ます．
| 名称: | Stlics |
|---|---|
| バージョン: | 4.1（2012年4月9日） |
| 動作環境: | Java 7 |
| 著作者: | 柳田 拓人，須藤 康裕 |
| 配布条件: | このソフトウェアはCC BY 3.0ライセンスの下に提供されています． |