Sophie

Sophie

distrib > Mandriva > 2010.2 > i586 > by-pkgid > 9731f079edf7c57d19d527b877fe59c1

facile-1.1-9mdv2010.1.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: