Sophie

Sophie

distrib > * > 2010.0 > * > by-pkgid > 8afba3fa955aa873f6e1b30c8d86173a

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