A library of Prolog predicates for CLP(FD) arithmetic.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool