小编fdj*_*815的帖子

树结构

这就是我的Node.js项目的组织方式:

/
| - node_modules               [+ INCLUDE]
|   | - my-mod1
|   |   | - node_modules       [- IGNORE]
|   |   |   | - external-mod1 
|   |   |   | - external-mod2 
|   |   | - src
|   |   |   | - node_modules   [+ INCLUDE]
|   |   |   |   | - my-mod2 
|   |   |   |   | - my-mod3
|   | - my-mod4

我的计划

将我的项目发布到GitHub时:

• 我想包括my-mods.
• 我不想包括 external-mods.

这意味着:

• 我想要包含顶级 …

我的情况

我正在开发一个Node.js应用程序作为npm模块.

为了能够运行此应用程序,我安装了所有npm依赖项.所以,我的项目包含一些./node_module/包含外部模块依赖构建的文件夹.

我维护我的项目使用,git并使用Gi​​tHub存储库发布.

我的问题

我不想npm在GitHub上发布模块依赖项的所有本地构建.

我只想发布自己的代码.我的模块的用户应该npm install用来获取当前的构建依赖项.

我的问题

保持依赖关系构建远离我的GitHub存储库的最佳方法是什么？

谢谢你的回答(或评论). - 如果有任何不清楚的地方,请发表评论.

情况

我经常看到具有以下结构的Node.js应用程序:

常见模式:

• lib/或src/- 自编代码
  • index.js - 主要代码
  • 内部模块 ...(例如,为此项目自编)
• node_modules
  • 外部模块 ......(例如从另一个项目中获取)
• package.json

我的问题

我不喜欢这种模式:

• 我对此感到不舒服,因为在进行以下操作时必须明确指定内部模块的目录路径require():

  // /lib/index.js
  
  var internalMod = require('./internal'); // `require('internal')` (without path) wouldn't work
  internalMod.doSomething();
  

  Run Code Online (Sandbox Code Playgroud)

我的想法

所以我认为将内部模块放在一个node_modules文件夹(项目中的某个地方)也是一个好主意.因此,node将能够找到他们,即使你没有指定明确的路径.

例如:

• src/ - 自编代码
  • index.js - 主要代码
  • node-modules - 对于内部
    • 内部模块 ......
• node_modules - 外部
  • 外部模块 ......(例如从另一个项目中获取)
• package.json

我的问题

1. 关于我的计划是否有任何缺点？
2. 还有其他想法将内部模块放在文件夹结构中吗？

谢谢你的回答(或评论). - 如果有任何不清楚的地方,请发表评论.

我的情况

我正在开展一个需要:

• 证明涉及矩阵运算的三维矩阵变换公式的正确性
• 查找具有未知矩阵条目值的模型.

我的问题

• 使用矩阵运算表达公式的最佳方法是什么,以便它们可以通过z3？(Z3Py的Sudoku示例中使用的方式不是很优雅,似乎不适合更复杂的矩阵操作.)

谢谢. - 如果有任何不清楚的地方,请留下问题评论.

我的例子:方程组

  a = b+c
? e = a*c

? a = +2     ; some replaceable concrete values
? c = +18

  b = -16
? e = -32

我想要的信息

在一个方程组中,我希望得到以下知识:

我可以用来从给定值(在约束基础中)计算变量值(解决方案)的抽象公式.

(就像在高中,老师不仅希望看到结果,而且还有这样一个转化的抽象公式.)

  b = a-c     ; is an equivalent transformation from `a = b+c`
? e = (a-c)*c ; is an term replacement `b ? a-c` of `e = a*c`

我的问题

如何使用Z3Py从Z3约束方程组中检索此信息？

谢谢. - 如果有什么不清楚的地方,请评论一下是什么问题.