This repository provides an environment with 'pracmln' pre-installed (see: http://www.pracmln.org).