summaryrefslogtreecommitdiff
path: root/development/facile/README
blob: ba9340af9f4f63b7852a663798097cfe79bb533a (plain) 
1

FaCiLe is a Functional Constraint Library implemented in Objective Caml.
generated by cgit v1.2.3 (git 2.26.2) at 2024-11-02 18:17:24 +0000