package libabsolute

  1. Overview
  2. Docs

Disjunctive form with fast-precomputation for meets