; Author: Marijn Heule
; License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.
