Sophie

Sophie

distrib > Mageia > 3 > i586 > by-pkgid > d315675e9915e8a33e01864291d2577d

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