Xavier Wang

@miloyip hello, I want to find a pure C, easy to use and intergrated json library, I found these: - https://github.com/sheredom/json.h - https://github.com/vurtun/mmx/blob/master/mm_json.h maybe these can be added into benchmark,...

@miloyip so sad things :( But still very thank you for the work!!

Okay, I will add the document when I'm free.

documentations are complete, any feedback are welcome :-)

use `am_hasvariable()` but notice that if you add a variable to solver and remove it, `am_hasvariable()` still return true. because I don't know whether other constraint in solver use this...

yes, in first case `hasvariable(a)` will return true, and in second case a and b all return true. if you create a variable, `hasvariable()` to it will return false, but...

but I don't have other idea to do that. this API is designed to do this, but to track variable need more cost. do you really need this function? I...

why `a >= 1` return TRUE but `a >= 1 && a

So, why `(nothing)` returns TRUE and `a == 5` returns FALSE?

So, if `a` can be any value, then it's underconstrainted, but if it can only be the exactly one value, so it's not underconstrainted, right? and, what if: a ==...