Comment by parhamp

Very interesting! Do you know how is the constraint solver library implemented? Does it use a different general implementation than the regular prolog statements?