go-z3 icon indicating copy to clipboard operation
go-z3 copied to clipboard
verified publisher icon mitchellh

Add bindings for optimize

Open artspb opened this issue 7 years ago • 0 comments

I've added bindings for the optimize so one can easily find min/max values. Also, I've fixed a couple of minors in documentation and added String() to LBool.

artspb avatar Dec 23 '18 15:12 artspb