Sophie

Sophie

distrib > Altlinux > 4.1 > i586 > media > core > by-pkgid > 751310d7a9e16dea5248ab71bbd0d341

facile-1.1-alt0.M41.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: