Can be managed using jspm or npm.
jspm install npm:@problem-solving/sat
npm install @problem-solving/sat --save
