Minimal README contents
Maude module for boolean algebra
Simple and unoptimized Python program for the Argon forcefield
Maude specification for the Argon forcefield