😒 chore: Rename package.

.esdoc.json

@@ -17,7 +17,7 @@
           "autoPrivate": true
         },
         "brand": {
-          "title": "@aureooms/js-sat"
+          "title": "@problem-solving/sat"
         },
         "test": {
           "type": "ava",

README.md

@@ -1,4 +1,4 @@
-:satisfied: [@aureooms/js-sat](https://make-github-pseudonymous-again.github.io/js-sat)
+:satisfied: [@problem-solving/sat](https://computational-problem-solving.github.io/sat)
 ==
 
 <p align="center">
@@ -9,10 +9,10 @@
 </p>
 
 Boolean formula satisfiability algorithms for JavaScript.
-See [docs](https://make-github-pseudonymous-again.github.io/js-sat).
-Parent is [@aureooms/js-algorithms](https://github.com/make-github-pseudonymous-again/js-algorithms).
+See [docs](https://computational-problem-solving.github.io/sat).
+Parent is [js-algorithms](https://github.com/make-github-pseudonymous-again/js-algorithms).
 For a polynomial time algorithm for the 2SAT problem see
-[@aureooms/js-2sat](https://github.com/make-github-pseudonymous-again/js-2sat).
+[@problem-solving/2sat](https://github.com/computational-problem-solving/2sat).
 
 ```js
 let instance = sat.from.signs( [ [ -1 , 2 , 3 ] , [ -2 , -4 , 5 ] , [ 1 , -5 ] ] ) ;
@@ -31,20 +31,20 @@ for ( let certificate of sat.solve( instance ) ) {
 }
 ```
 
-[![License](https://img.shields.io/github/license/make-github-pseudonymous-again/js-sat.svg)](https://raw.githubusercontent.com/make-github-pseudonymous-again/js-sat/main/LICENSE)
-[![Version](https://img.shields.io/npm/v/@aureooms/js-sat.svg)](https://www.npmjs.org/package/@aureooms/js-sat)
-[![Tests](https://img.shields.io/github/workflow/status/make-github-pseudonymous-again/js-sat/ci:test?event=push&label=tests)](https://github.com/make-github-pseudonymous-again/js-sat/actions/workflows/ci:test.yml?query=branch:main)
-[![Dependencies](https://img.shields.io/david/make-github-pseudonymous-again/js-sat.svg)](https://david-dm.org/make-github-pseudonymous-again/js-sat)
-[![Dev dependencies](https://img.shields.io/david/dev/make-github-pseudonymous-again/js-sat.svg)](https://david-dm.org/make-github-pseudonymous-again/js-sat?type=dev)
-[![GitHub issues](https://img.shields.io/github/issues/make-github-pseudonymous-again/js-sat.svg)](https://github.com/make-github-pseudonymous-again/js-sat/issues)
-[![Downloads](https://img.shields.io/npm/dm/@aureooms/js-sat.svg)](https://www.npmjs.org/package/@aureooms/js-sat)
+[![License](https://img.shields.io/github/license/computational-problem-solving/sat.svg)](https://raw.githubusercontent.com/computational-problem-solving/sat/main/LICENSE)
+[![Version](https://img.shields.io/npm/v/@problem-solving/sat.svg)](https://www.npmjs.org/package/@problem-solving/sat)
+[![Tests](https://img.shields.io/github/workflow/status/computational-problem-solving/sat/ci:test?event=push&label=tests)](https://github.com/computational-problem-solving/sat/actions/workflows/ci:test.yml?query=branch:main)
+[![Dependencies](https://img.shields.io/david/computational-problem-solving/sat.svg)](https://david-dm.org/computational-problem-solving/sat)
+[![Dev dependencies](https://img.shields.io/david/dev/computational-problem-solving/sat.svg)](https://david-dm.org/computational-problem-solving/sat?type=dev)
+[![GitHub issues](https://img.shields.io/github/issues/computational-problem-solving/sat.svg)](https://github.com/computational-problem-solving/sat/issues)
+[![Downloads](https://img.shields.io/npm/dm/@problem-solving/sat.svg)](https://www.npmjs.org/package/@problem-solving/sat)
 
-[![Code issues](https://img.shields.io/codeclimate/issues/make-github-pseudonymous-again/js-sat.svg)](https://codeclimate.com/github/make-github-pseudonymous-again/js-sat/issues)
-[![Code maintainability](https://img.shields.io/codeclimate/maintainability/make-github-pseudonymous-again/js-sat.svg)](https://codeclimate.com/github/make-github-pseudonymous-again/js-sat/trends/churn)
-[![Code coverage (cov)](https://img.shields.io/codecov/c/gh/make-github-pseudonymous-again/js-sat/main.svg)](https://codecov.io/gh/make-github-pseudonymous-again/js-sat)
-[![Code technical debt](https://img.shields.io/codeclimate/tech-debt/make-github-pseudonymous-again/js-sat.svg)](https://codeclimate.com/github/make-github-pseudonymous-again/js-sat/trends/technical_debt)
-[![Documentation](https://make-github-pseudonymous-again.github.io/js-sat/badge.svg)](https://make-github-pseudonymous-again.github.io/js-sat/source.html)
-[![Package size](https://img.shields.io/bundlephobia/minzip/@aureooms/js-sat)](https://bundlephobia.com/result?p=@aureooms/js-sat)
+[![Code issues](https://img.shields.io/codeclimate/issues/computational-problem-solving/sat.svg)](https://codeclimate.com/github/computational-problem-solving/sat/issues)
+[![Code maintainability](https://img.shields.io/codeclimate/maintainability/computational-problem-solving/sat.svg)](https://codeclimate.com/github/computational-problem-solving/sat/trends/churn)
+[![Code coverage (cov)](https://img.shields.io/codecov/c/gh/computational-problem-solving/sat/main.svg)](https://codecov.io/gh/computational-problem-solving/sat)
+[![Code technical debt](https://img.shields.io/codeclimate/tech-debt/computational-problem-solving/sat.svg)](https://codeclimate.com/github/computational-problem-solving/sat/trends/technical_debt)
+[![Documentation](https://computational-problem-solving.github.io/sat/badge.svg)](https://computational-problem-solving.github.io/sat/source.html)
+[![Package size](https://img.shields.io/bundlephobia/minzip/@problem-solving/sat)](https://bundlephobia.com/result?p=@problem-solving/sat)
 
 ## :scroll: Reference
 

doc/manual/example.md

@@ -2,8 +2,9 @@
 
 ```js
 
-import { lexicographical , increasing } from '@aureooms/js-compare' ;
-import { list } from '@aureooms/js-itertools' ;
+import { lexicographical } from '@total-order/lex' ;
+import { increasing } from '@total-order/primitive' ;
+import { list } from '@iterable-iterator/list' ;
 
 const lex = lexicographical( increasing ) ;
 

doc/manual/installation.md

@@ -6,10 +6,10 @@ or [npm](https://github.com/npm/npm).
 
 ### jspm
 ```terminal
-jspm install npm:@aureooms/js-sat
+jspm install npm:@problem-solving/sat
 ```
 
 ### npm
 ```terminal
-npm install @aureooms/js-sat --save
+npm install @problem-solving/sat --save
 ```

doc/manual/usage.md

@@ -10,7 +10,7 @@ import 'regenerator-runtime/runtime.js' ;
 
 Then
 ```js
-const sat = require( '@aureooms/js-sat' ) ;
+const sat = require( '@problem-solving/sat' ) ;
 // or
-import * as sat from '@aureooms/js-sat' ;
+import * as sat from '@problem-solving/sat' ;
 ```

doc/scripts/header.js

@@ -10,15 +10,15 @@ const domReady = function (callback) {
 domReady(() => {
 	const projectname = document.createElement('a');
 	projectname.classList.add('project-name');
-	projectname.text = 'aureooms/js-sat';
+	projectname.text = 'problem-solving/sat';
 	projectname.href = './index.html';
 
 	const header = document.querySelector('header');
 	header.insertBefore(projectname, header.firstChild);
 
 	const testlink = document.querySelector('header > a[data-ice="testLink"]');
 	testlink.href =
-		'https://coveralls.io/github/make-github-pseudonymous-again/js-sat';
+		'https://coveralls.io/github/computational-problem-solving/sat';
 	testlink.target = '_BLANK';
 
 	const searchBox = document.querySelector('.search-box');

package.json

@@ -1,16 +1,16 @@
 {
-  "name": "@aureooms/js-sat",
+  "name": "@problem-solving/sat",
   "description": "Boolean formula satisfiability algorithms for JavaScript",
   "version": "3.0.0",
   "license": "AGPL-3.0",
-  "author": "Aurélien Ooms <[email protected]>",
-  "homepage": "https://make-github-pseudonymous-again.github.io/js-sat",
+  "author": "make-github-pseudonymous-again",
+  "homepage": "https://computational-problem-solving.github.io/sat",
   "repository": {
-    "url": "https://github.com/make-github-pseudonymous-again/js-sat",
+    "url": "https://github.com/computational-problem-solving/sat",
     "type": "git"
   },
   "bugs": {
-    "url": "https://github.com/make-github-pseudonymous-again/js-sat/issues"
+    "url": "https://github.com/computational-problem-solving/sat/issues"
   },
   "keywords": [
     "NP",
@@ -65,36 +65,38 @@
     "test": "ava"
   },
   "dependencies": {
-    "@aureooms/js-itertools": "^5.1.0"
+    "@iterable-iterator/list": "^1.0.1",
+    "@iterable-iterator/map": "^1.0.1",
+    "@iterable-iterator/zip": "^1.0.1"
   },
   "devDependencies": {
-    "@aureooms/js-array": "4.0.0",
-    "@aureooms/js-compare": "2.0.1",
-    "@aureooms/js-functools": "2.0.3",
-    "@babel/core": "7.14.8",
-    "@babel/preset-env": "7.14.8",
-    "@babel/register": "7.14.5",
-    "@commitlint/cli": "13.1.0",
+    "@babel/core": "7.16.5",
+    "@babel/preset-env": "7.16.5",
+    "@babel/register": "7.16.5",
+    "@commitlint/cli": "15.0.0",
     "@js-library/commitlint-config": "0.0.4",
-    "ava": "3.15.0",
+    "@total-order/lex": "^1.0.0",
+    "@total-order/primitive": "^1.0.1",
+    "ava": "^3.15.0",
     "babel-plugin-transform-remove-console": "6.9.4",
-    "babel-plugin-unassert": "3.1.0",
+    "babel-plugin-unassert": "3.2.0",
     "babel-preset-power-assert": "3.0.0",
-    "c8": "7.8.0",
+    "c8": "7.10.0",
     "coveralls": "3.1.1",
     "esdoc": "1.1.0",
     "esdoc-inject-script-plugin": "1.0.0",
     "esdoc-inject-style-plugin": "1.0.0",
     "esdoc-standard-plugin": "1.0.0",
     "fixpack": "4.0.0",
-    "husky": "7.0.1",
-    "lint-staged": "11.1.1",
-    "microbundle": "0.13.3",
-    "np": "7.5.0",
+    "fs": "^0.0.1-security",
+    "husky": "7.0.4",
+    "lint-staged": "12.1.3",
+    "microbundle": "0.14.2",
+    "np": "7.6.0",
     "pinst": "2.1.6",
     "power-assert": "1.6.1",
     "regenerator-runtime": "0.13.9",
-    "xo": "0.39.1"
+    "xo": "0.47.0"
   },
   "ava": {
     "files": [
@@ -213,7 +215,9 @@
       "unicorn/prevent-abbreviations": "off",
       "no-constant-condition": "off",
       "unicorn/prefer-math-trunc": "off",
+      "unicorn/prefer-node-protocol": "off",
       "unicorn/no-new-array": "off",
+      "no-bitwise": "off",
       "no-negated-condition": "off"
     },
     "overrides": [

src/api/from.js

@@ -47,4 +47,5 @@ const from = {
 	dcnf: (iterable) => new ParitiesInstance(_parse_DIMACS_CNF(iterable)),
 };
 
+// eslint-disable-next-line prettier/prettier
 export default from;

src/core/convert/_certificate_to_keys.js

@@ -1,4 +1,4 @@
-import {_zip2} from '@aureooms/js-itertools';
+import {_zip2} from '@iterable-iterator/zip';
 
 /**
  * Constructs an assignment map from a list of variable names and an assignment

src/core/convert/_parity_to_keys.js

@@ -1,4 +1,5 @@
-import {list, map} from '@aureooms/js-itertools';
+import {list} from '@iterable-iterator/list';
+import {map} from '@iterable-iterator/map';
 
 /**
  * _parity_to_keys.

src/core/convert/_parity_to_sign.js

@@ -1,4 +1,5 @@
-import {list, map} from '@aureooms/js-itertools';
+import {list} from '@iterable-iterator/list';
+import {map} from '@iterable-iterator/map';
 
 /**
  * _parity_to_sign.

src/core/convert/_sign_to_parity.js

@@ -1,4 +1,5 @@
-import {list, map} from '@aureooms/js-itertools';
+import {list} from '@iterable-iterator/list';
+import {map} from '@iterable-iterator/map';
 
 import SignsInstance from './SignsInstance.js';
 

test/src/SAT.js

@@ -1,10 +1,12 @@
 import test from 'ava';
-import * as sat from '../../src/index.js';
 
-import * as compare from '@aureooms/js-compare';
-import {list, map} from '@aureooms/js-itertools';
+import {increasing} from '@total-order/primitive';
+import {lexicographical} from '@total-order/lex';
+import {list} from '@iterable-iterator/list';
+import {map} from '@iterable-iterator/map';
+import * as sat from '../../src/index.js';
 
-const lex = compare.lexicographical(compare.increasing);
+const lex = lexicographical(increasing);
 
 test('#1', (t) => {
 	const instance = sat.from.keys([

test/src/SATLIB.js

@@ -1,8 +1,7 @@
+import fs from 'fs';
 import test from 'ava';
 import * as sat from '../../src/index.js';
 
-import fs from 'fs';
-
 const macro = (t, name, satisfiable) => {
 	const filename = './test/data/' + name + '.cnf';
 	const iterable = fs.readFileSync(filename, {encoding: 'utf8'});