Sophie

Sophie

distrib > Mageia > 1 > i586 > by-pkgid > 59c749a4c3ec42bc638a3825e4766f20

facile-1.1-10.mga1.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: