computational-problem-solving/sat

View on GitHub
src/core/SAT0W/SAT0W.js

Summary

Maintainability
A
35 mins
Test Coverage

Function SAT0W has 5 arguments (exceeds 4 allowed). Consider refactoring.
Open

export default function* SAT0W(n, clauses, watchlist, assignment, d) {
Severity: Minor
Found in src/core/SAT0W/SAT0W.js - About 35 mins to fix

    There are no issues that match your filters.

    Category
    Status