Sophie

Sophie

distrib > Mageia > 6 > armv5tl > by-pkgid > 8bde66274ca9e10d6385cc8f2027420f

facile-1.1.2-2.mga6.armv5tl.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: