Fixed $clog2 (off by one error)
Added $macc SAT model
Added $macc eval model