File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 1
- :satisfied : [ @aureooms/js-sat ] ( https://aureooms .github.io/js-sat )
1
+ :satisfied : [ @aureooms/js-sat ] ( https://make-github-pseudonymous-again .github.io/js-sat )
2
2
==
3
3
4
4
<p align =" center " >
9
9
</p >
10
10
11
11
Boolean formula satisfiability algorithms for JavaScript.
12
- See [ docs] ( https://aureooms .github.io/js-sat ) .
12
+ See [ docs] ( https://make-github-pseudonymous-again .github.io/js-sat ) .
13
13
Parent is [ @aureooms/js-algorithms ] ( https://github.com/aureooms/js-algorithms ) .
14
14
For a polynomial time algorithm for the 2SAT problem see
15
15
[ @aureooms/js-2sat ] ( https://github.com/aureooms/js-2sat ) .
@@ -43,7 +43,7 @@ for ( let certificate of sat.solve( instance ) ) {
43
43
[ ![ Code maintainability] ( https://img.shields.io/codeclimate/maintainability/aureooms/js-sat.svg )] ( https://codeclimate.com/github/aureooms/js-sat/trends/churn )
44
44
[ ![ Code coverage (cov)] ( https://img.shields.io/codecov/c/gh/aureooms/js-sat/main.svg )] ( https://codecov.io/gh/aureooms/js-sat )
45
45
[ ![ Code technical debt] ( https://img.shields.io/codeclimate/tech-debt/aureooms/js-sat.svg )] ( https://codeclimate.com/github/aureooms/js-sat/trends/technical_debt )
46
- [ ![ Documentation] ( https://aureooms .github.io/js-sat/badge.svg )] ( https://aureooms .github.io/js-sat/source.html )
46
+ [ ![ Documentation] ( https://make-github-pseudonymous-again .github.io/js-sat/badge.svg )] ( https://make-github-pseudonymous-again .github.io/js-sat/source.html )
47
47
[ ![ Package size] ( https://img.shields.io/bundlephobia/minzip/@aureooms/js-sat )] ( https://bundlephobia.com/result?p=@aureooms/js-sat )
48
48
49
49
## :scroll : Reference
Original file line number Diff line number Diff line change 4
4
"version" : " 3.0.0" ,
5
5
"license" : " AGPL-3.0" ,
6
6
"author" : " Aurélien Ooms <aurelien.ooms@gmail.com>" ,
7
- "homepage" : " https://aureooms .github.io/js-sat" ,
7
+ "homepage" : " https://make-github-pseudonymous-again .github.io/js-sat" ,
8
8
"repository" : {
9
9
"url" : " https://github.com/aureooms/js-sat" ,
10
10
"type" : " git"
You can’t perform that action at this time.
0 commit comments