Sophie

Sophie

distrib > Mandriva > 2010.1 > x86_64 > media > main-release-src > by-pkgid > ea08377609c6ee2dbb7241aa548c6f80

facile-1.1-9mdv2010.1.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: