Sophie

Sophie

distrib > Mandriva > 2010.0 > x86_64 > by-pkgid > 104303b6595559ae60990093cf1e0ad0

facile-1.1-8mdv2010.0.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: