UNPKG

@aureooms/js-2sat

Version:

2-Satisfiability code bricks for JavaScript

aureooms.github.io/js-2sat/

aureooms/js-2sat

8 lines (3 loc) • 67 B
1
2
3
4
5
6
7
8
export function solve ( formula , G , assignment ) { // ... }