added sprintf.js;
in progress: state table generation; can store present state and input variables only, currently evaluating the flipflop input functions;