Sophie

Sophie

distrib > Mandriva > 2010.1 > x86_64 > by-pkgid > 2a448f9f1ec8bd4de88bc2b156052964

facile-1.1-9mdv2010.1.x86_64.rpm

Description:

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

Sources packages:

Other version of this rpm: