coso (pypi): A solver for combinatorics math word problems.
Keywords: combinatorics|automated|reasoning