所以链接呢？

@leonidas10086 多谢，马上改

具体的查询因为可以提前绑定量，所以比 NP-hard 会好很多，但是需要根据具体问题写具体的查询，没有一般解法。

@zzl22100048 直接把需要的子图写成 Horn 规则，不绑定任何常数，跑就完了。另外子图匹配的一般情况是 NP-hard ，肯定没法在大的数据集上面跑。

@hljjhb 问题不大，我自己反正生产已经用了几个月了。遇到问题随时提。

@no13bus 是的

@jason0916 确实没法像 go 那样自由地使用多核，但是 parallel_pipe 和 parallel_pipe_unordered 两个方法是可以用 process pool 的，一般的问题把所有核跑满也没问题

楼上的方法不行，caps lock不能作为modifier keys

可以拿下面这个玩意儿自己生成一个键盘布局：

http://scripts.sil.org/ukelele

怎么用软件本身有说明。其实就是写一个xml文件，知道格式了用别的写也行。