diff --git a/packages/logic-solver/package.js b/packages/logic-solver/package.js
index 7f9ff09ed1..58c488ccf4 100644
--- a/packages/logic-solver/package.js
+++ b/packages/logic-solver/package.js
@@ -1,6 +1,6 @@
 Package.describe({
   summary: "General satisfiability solver for logic problems",
-  version: '0.0.2-vs.2'
+  version: '1.0.0-vs.3'
 });
 
 Package.on_use(function (api) {
@@ -16,5 +16,10 @@ Package.on_use(function (api) {
 Package.on_test(function (api) {
   api.use('tinytest');
   api.use('logic-solver');
-  api.add_files('logic_tests.js');
+
+  // logic-solver is totally meant for the client too, but not old
+  // ones like IE 8, so we have to exclude it from our automated
+  // testing.  It needs a browser released in the last year (say) so
+  // that Emscripten-compiled code runs reasonably.
+  api.add_files('logic_tests.js', 'server');
 });