PROGRAMS BY www.cs.virginia.edu/~ph4u/dprle/

DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.