AxiomaticF3EXP

constructor(s: Float, queryLen: Int, k: Float = 0.35f)