aureooms/js-sat

View on GitHub
Branch: main(View all)
NameLines of codeMaintainabilityTest coverage
.codeclimate.yml
.commitlintrc.cjs
.esdoc.json
.fixpackrc
.github/workflows/ci:build.yml
.github/workflows/ci:test.yml
.github/workflows/gh-pages.yml
.gitignore
.husky/commit-msg
.husky/pre-commit
.jshintrc
LICENSE
README.md
package.json
renovate.json
src/api/decide.js13
A
0 mins
src/api/from.js11
A
0 mins
src/api/solve.js6
A
0 mins
src/api/verify.js3
A
0 mins
src/core/SAT0W/SAT0W.js14
A
35 mins
src/core/SAT0W/setup_watchlist.js8
A
0 mins
src/core/SAT0W/update_watchlist.js19
A
55 mins
src/core/_verify.js9
A
35 mins
src/core/convert/KeysInstance.js11
A
0 mins
src/core/convert/ParitiesInstance.js10
A
30 mins
src/core/convert/SignsInstance.js10
A
30 mins
src/core/convert/_certificate_to_keys.js4
A
0 mins
src/core/convert/_count.js9
A
0 mins
src/core/convert/_keys_to_parity.js20
A
55 mins
src/core/convert/_parity_to_keys.js13
A
0 mins
src/core/convert/_parity_to_sign.js17
A
0 mins
src/core/convert/_sign_to_parity.js20
A
0 mins
src/core/parse/_parse_DIMACS_CNF.js43
C
1 day
src/core/parse/_parse_int.js14
A
35 mins
src/core/parse/_skip_blanks.js16
A
0 mins
src/core/setup_assignment.js5
A
0 mins
src/index.js19
A
0 mins
tsconfig.json
yarn.lock