Sophie

Sophie

distrib > Mageia > 6 > armv7hl > by-pkgid > b431408418faf901c98c6b90e7b2ec02

facile-1.1.2-2.mga6.armv7hl.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: