normform (cargo): Library for handling normal forms
Keywords: algebra|anf|zhegalkin