mago-algebra 1.21.0

The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses.
Documentation