Sophie

Sophie

distrib > Mandriva > cooker > i586 > by-pkgid > 290a1652f63edecb70bf33a45e54854b

facile-1.1-12.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: