[om] openmath and constraints representation

[Junas Adhikary]

Hello,

Has anyone done any work on representing constraints (for example, in the
field of constraint logic programming or constraint reasoning) using
available CDs? I would be very interested to hear their experiences.

Thanks,
-junas

--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems