university project - management tool for a dance studio which uses SAT4J to provide