Almonds
About
Almonds is a naive constraint solving framework. It works by operating on a constraint tree in disjunctive normal form, and iterating until it reaches a fixed point.
Almonds is a naive constraint solving framework. It works by operating on a constraint tree in disjunctive normal form, and iterating until it reaches a fixed point.