Peval is a program for partial evaluation of the rule language CRL. CRL is used to express constraints on scheduling airline crews. Peval is part of a product, made by Carmen Systems AB, used by almost all major European airlines. Using peval speeds up the scheduling by a factor of 2. Using peval is fully automatic and requires no user intervention.