2 Commits (981477dd17fc142cf9ca49b8c2692106cb11973d)

Author	SHA1	Message	Date
Nils Adermann	7558731830	Fix documentation layout	2011-10-22 13:03:50 +02:00
Nils Adermann	4d5655a604	Add basic specification of the default solver policy behaviour	2011-10-22 12:48:53 +02:00