Almonds

A naive constraint solving framework. Works by operating on a constraint tree in disjunctive normal form, and iterating until it reaches a fixed point.