Tarafından Programlar elisa.sf.net

Elisa, kısıtlama programlama ve kısıtlama çözme teknikleri için açık bir C++ kitaplığıdır. Sürekli kısıtlamaları çözmek için aralık tabanlı algoritmalar, Gaol'un (http://sf.net/projects/gaol) sisteminize zaten yüklü olması g