Package.describe({
  summary: "General satisfiability solver for logic problems",
  version: '2.0.7'
});

Package.on_use(function (api) {
  api.export('Logic');
  api.use('underscore');
  api.add_files(['minisat.js',
                 'minisat_wrapper.js',
                 'types.js',
                 'logic.js',
                 'optimize.js']);
});

Package.on_test(function (api) {
  api.use(['tinytest', 'check', 'underscore']);
  api.use('logic-solver');

  // 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');
});

Package.describe({
  summary: "General satisfiability solver for logic problems",
  version: '2.0.8'
});

Package.onUse(function (api) {
  api.export('Logic');
  api.use('underscore');
  api.addFiles(['minisat.js',
                 'minisat_wrapper.js',
                 'types.js',
                 'logic.js',
                 'optimize.js']);
});

Package.onTest(function (api) {
  api.use(['tinytest', 'check', 'underscore']);
  api.use('logic-solver');

  // 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.addFiles('logic_tests.js', 'server');
});

Update logic solver to not use deprecated and removed API
Update logic solver to not use deprecated and removed API

