16 keywords1 dependency1 versionpuzzlegamecspsatsat-solverlogictheoremconstraintjsjavascriptnodenodejsnode.jselectrondesktopappomikron1.0.02 years ago