Sophie

Sophie

distrib > Mageia > 5 > i586 > media > core-release-src > by-pkgid > 51b9a2c43d7bee30b66c0799825b92f2

facile-1.1-18.mga5.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: