This directory contains utility routines in Perl for dealing with SAT relations.
