mago-algebra 1.2.2

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