Meteor package for emscriptened minisat