2 ms·
He was probably using a Prolog with constraint programming extensions; those are pretty tuned for that sort of problem already.
by silentbicycle 16y ago
He was probably using a Prolog with constraint programming extensions; those are pretty tuned for that sort of problem already.