argh.. i give up, we can compile fixpoint for windows, but it can't seem to find z3.exe even if i pass an absolute path..
argh.. i give up, we can compile fixpoint for windows, but it can't seem
to find z3.exe even if i pass an absolute path..

gridaphobe/liquid-fixpoint