Sophie

Sophie

distrib > Mandriva > 2009.1 > x86_64 > media > main-release-src > by-pkgid > 86091d19eaec6515accf0459f9b5ee1c

facile-1.1-6mdv2009.1.src.rpm

Description:

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

Generated packages:

Other version of this rpm: