The Deep Drilling Algorithm for finding terms in finite algebras.
This code implements an algorithm described in citation goes here.
Questions? Contact Lee Spector.
Built using re-simple-term.