dev-ml/facile: A constraint programming library on integer and integer set finite domains written in OCaml.
http://packages.gentoo.org/package/dev-ml/facile?ts=2011-01-03T21:37:02ZAndreas K. Huettel (dilfridge)http://cia.vc/stats/author/dilfridge2011-01-03T21:37:02Z
03 Jan 2011; Andreas K. Huettel (dilfridge) facile-1.1.ebuild: Removed RESTRICT=mirror since there is no reason for it