You can add 10 more tags to this project.
artificial_intelligence
compilers
constraint
constraint_programming
constraint_satisfaction_problem
constraint_solver
finite_domain_solver
interpreters
maemo
prolog
