2 Commits (c178223c8a88c81ee4b07cbece46e8f92b03b536)

Author SHA1 Message Date
Nils Adermann 7558731830 Fix documentation layout 13 years ago
Nils Adermann 4d5655a604 Add basic specification of the default solver policy behaviour 13 years ago