Text this: Ανάπτυξη παιχνιδιού για εξάσκηση με αλγορίθμους ικανοποίησης περιορισμών