/Arithmelog

A library of Prolog predicates for CLP(FD) arithmetic.

Primary LanguagePrologMIT LicenseMIT

Issues