Moved solver to JavaScriptCore

Closes #108