nexusventuri/bioambient

an implementation of bioambient in maude 2.0