Usage

The code needs a ES2015+ polyfill to work, for example regenerator-runtime/runtime.

await import( 'regenerator-runtime/runtime.js' ) ;
// or
import 'regenerator-runtime/runtime.js' ;

Then

const sat = await import( '@problem-solving/sat' ) ;
// or
import * as sat from '@problem-solving/sat' ;