monadic-decomposition

There are 0 repository under monadic-decomposition topic.

• ZeroBone / PresMonDec

  Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.

  monadic-decompositionpredicate-logicpresburger-arithmetic
  Language:Python 1