aboutsummaryrefslogtreecommitdiff
path: root/development/facile/README
blob: ba9340af9f4f63b7852a663798097cfe79bb533a (plain)
1
FaCiLe is a Functional Constraint Library implemented in Objective Caml.