The SNOMED CT Expression Constraint Language is a formal language for defining bounded sets of clinical meanings represented by either precoordinated or postcoordinated expressions.
SNOMED CT expression constraint language version 2.1 has been published at http://snomed.org/ecl.
SNOMED International is aware of the following implementations of the SNOMED CT Expression Constraint Language:
PHAST's FHIR Terminology server STS - https://topaze.phast.fr/resources-server/api/fhir
Available 24x7 for testing, through CSIRO's VS tool - https://ontoserver.csiro.au/vstool/
If you know of additional ECL implementations, please contact info@snomed.org with details.