A constraint programming engine implemented in Erlang