minimal_set function

Remove redundant/implied terms from a set of terms

  • Maintainer: Daniel Greene
  • License: GPL (>= 2)
  • Last published: 2024-02-27

Useful links