TablaZinc:使用约束求解器生成吉他谱 源码

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