For the injector-js expriments:
- Z3Noodler: Z3 fork, should just be: compile ocaml bindings and run. I think I will need to expose functions the fork exposes.
- OSTRICH: From what I could see it is a scala solver. Will be hard to provide bindings for it. May need to resort to SMT-LIB.
