dreal / dreal2

Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13 stars 15 forks source link

eliminate boilerplate ocaml code #32

Open soonhokong opened 10 years ago

soonhokong commented 10 years ago

I feel very bad when I see our ocaml codebase. There are a lot of boilerplate code to handle exp/formula again and again. Let's clean this up. I'll try to find some alternative to have an elegant implementation. Maybe we can use Janestreet's generic library.

@pondering, please feel free to add any thought.