uhop / yopl

No dependency mini-library: rule-based logical solvers.

Geek Repo

Github PK Tool