mago-algebra 1.4.0

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