2 Commits (0801d8ed310c6aa1bc3d7f37f2a7e28fb63b5aa4)

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