Structure Linarith.LinarithConfig

Modification history