| .codeclimate.yml | |
|
|
| .commitlintrc.cjs | |
|
|
| .esdoc.json | |
|
|
| .fixpackrc | |
|
|
| .github/workflows/ci.yml | |
|
|
| .github/workflows/ci:cover.yml | |
|
|
| .github/workflows/ci:lint-config.yml | |
|
|
| .github/workflows/ci:lint.yml | |
|
|
| .github/workflows/gh-pages.yml | |
|
|
| .gitignore | |
|
|
| .husky/commit-msg | |
|
|
| .husky/pre-commit | |
|
|
| .jshintrc | |
|
|
| LICENSE | |
|
|
| README.md | |
|
|
| package.json | |
|
|
| renovate.json | |
|
|
| tsconfig.json | |
|
|
| yarn.lock | |
|
|
| src/api/decide.js | 13 |
|
|
| src/api/from.js | 11 |
|
|
| src/api/solve.js | 6 |
|
|
| src/api/verify.js | 3 |
|
|
| src/core/SAT0W/SAT0W.js | 14 | A 35 mins |
|
| src/core/SAT0W/setup_watchlist.js | 8 |
|
|
| src/core/SAT0W/update_watchlist.js | 18 | A 55 mins |
|
| src/core/_verify.js | 9 | A 35 mins |
|
| src/core/convert/KeysInstance.js | 11 |
|
|
| src/core/convert/ParitiesInstance.js | 10 | A 30 mins |
|
| src/core/convert/SignsInstance.js | 10 | A 30 mins |
|
| src/core/convert/_certificate_to_keys.js | 4 |
|
|
| src/core/convert/_count.js | 9 |
|
|
| src/core/convert/_keys_to_parity.js | 20 | A 55 mins |
|
| src/core/convert/_parity_to_keys.js | 13 |
|
|
| src/core/convert/_parity_to_sign.js | 17 |
|
|
| src/core/convert/_sign_to_parity.js | 20 |
|
|
| src/core/parse/_parse_DIMACS_CNF.js | 43 | C 1 day |
|
| src/core/parse/_parse_int.js | 14 | A 35 mins |
|
| src/core/parse/_skip_blanks.js | 19 |
|
|
| src/core/setup_assignment.js | 5 |
|
|
| src/index.js | 19 |
|
|