aureooms/js-2sat

export function value ( a ) {

    return a > 0 ? 1 : 0 ;

}