js-sat
Satisfiability code bricks for JavaScript.
let instance = satfrom ;// or// let instance = sat.from.keys(// [// [ [ false , '1' ] , [ true , '2' ] , [ true , '3' ] ] ,// [ [ false , '2' ] , [ false , '4' ] , [ true , '5' ] ] ,// [ [ true , '1' ] , [ false , '5' ] ]// ]// ) ;sat ; // truesat ; // truefor let certificate of sat console ;
Can be managed through jspm, duo, component, bower, ender, jam, spm, and npm.
Install
jspm
jspm install github:aureooms/js-sat# orjspm install npm:aureooms-js-sat
duo
No install step needed for duo!
component
component install aureooms/js-sat
bower
bower install aureooms-js-sat
ender
ender add aureooms-js-sat
jam
jam install aureooms-js-sat
spm
spm install aureooms-js-sat --save
npm
npm install aureooms-js-sat --save
Require
jspm
let sat = ;// or;
duo
let sat = ;
component, ender, spm, npm
let sat = ;
bower
The script tag exposes the global variable sat
.
Alternatively, you can use any tool mentioned here.
jam
;