Sophie

Sophie

distrib > Mandriva > 2008.0 > i586 > by-pkgid > a09e24e42ac4e784da86b7028bf913fc

facile-1.1-1mdv2008.0.src.rpm

Description:

FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

Generated packages:

Other version of this rpm: