塔布拉锌 这是一个使用约束求解器为弦状弦乐器（例如吉他，贝斯，曼陀林，班卓琴等）生成制表法的实验。 输入是一种旋律，由没有持续时间指示的MIDI音符编号数组表示。 输出是带有微动手的指法注释的表。 src和data文件夹包含用语言编写的模型文件和数据文件。 免责声明 我一般没有约束编程方面的经验，尤其是MiniZinc。 如果您是该领域的初学者，并且正在寻找写得很好的示例，那么此存储库可能不是正确的地方。 如果您是专家，欢迎您提供反馈。 请。 用法 以下命令使用模型文件中指定的一组约束从