Libraries
From CoFI
The central libraries for CASL and its extensions can be found here:
- Central repository for CASL libraries
- Download all libraries as compressed archive (tgz)
The libraries are subdivided into the following folders:
- Basic - the Basic libraries: numbers, strings, lists, trees etc.
- Advanced - some more advanced libraries
- CASL - abstract syntax of CASL, specified within CASL
- Examples - some simple sample specifications
- TestSuite - a test suite for CASL tools, with correct and incorrect specifications
- UserManual - specifications from the [|CASL user manual]]
- CaseStudies - Case studies
- Calculi - calculi for qualitative spatial and temporal reasoning
- Ontology - ontologies (for example, the SUMO ontology)
Moreover, there are a number of folders corresponding to CASL extensions and other logics:
- CASL_DL
- CoCASL
- ConstraintCASL
- CspCASL
- HasCASL
- HetCASL
- Isabelle
- Modal
- Refinement