Various common lisp 3rd party libraries used by the CRAM framework.