3 ms·
CLP(FD) and CLP(Z) would be worth checking: https://www.metalevel.at/prolog/clpz https://www.metalevel.at/prolog/clpz.
by sits 6y ago
CLP(FD) and CLP(Z) would be worth checking: https://www.metalevel.at/prolog/clpz https://www.metalevel.at/prolog/clpz.