cl-buchberger
cl-buchberger: A Common Lisp implementation of Buchberger's algorithm.
$ area51 add cl-buchbergerCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-buchberger:some-function ...)