Title: Electra
Subjects: Constraint programming (Computer science), Leda (Computer program language)