文件名称：TablaZinc:使用约束求解器生成吉他谱
文件大小：11KB
文件格式：ZIP
更新时间：2024-03-28 05:25:32
Shell
塔布拉锌
这是一个使用约束求解器为弦状弦乐器（例如吉他，贝斯，曼陀林，班卓琴等）生成制表法的实验。
输入是一种旋律，由没有持续时间指示的MIDI音符编号数组表示。 输出是带有微动手的指法注释的表。
src和data文件夹包含用语言编写的模型文件和数据文件。
免责声明
我一般没有约束编程方面的经验，尤其是MiniZinc。
如果您是该领域的初学者，并且正在寻找写得很好的示例，那么此存储库可能不是正确的地方。
如果您是专家，欢迎您提供反馈。 请。
用法
以下命令使用模型文件中指定的一组约束从两个数据文件（乐器定义文件和旋律文件）输出制表符：
minizinc src/
【文件预览】：
TablaZinc-master
----README.md(6KB)
----benchmark.sh(314B)
----LICENSE(16KB)
----src()
--------tablazinc-fret-distance.mzn(415B)
--------tablazinc-common.mzn(3KB)
--------tablazinc-finger-constraints.mzn(1KB)
--------tablazinc-finger-distance.mzn(890B)
--------tablazinc-satisfy.mzn(241B)
----data()
--------guitar-std.dzn(97B)
--------yardbird-suite.dzn(103B)