Thank you for creating this z3 binding for Haskell. I finally landed here when I came across some libraries that could perform linear optimization/linear programming. I think it would help if there is a small example to get people started on optimization problems, as the docs for optimize* are still in progress.
Changes
added a linear programming example which makes use of optimize*
Thanks for your consideration. Please do not hesitate to let me know if there is anything you would like to change.
Hello,
Thank you for creating this z3 binding for Haskell. I finally landed here when I came across some libraries that could perform linear optimization/linear programming. I think it would help if there is a small example to get people started on optimization problems, as the docs for
optimize*are still in progress.Changes
optimize*Thanks for your consideration. Please do not hesitate to let me know if there is anything you would like to change.
Best Regards, Leo