This package contains compositors for temporal logics specifications.