Copyright 1999-2011 Armin Biere.

All rights reserved.