Minisat是一种约束编程/满意度工具，有一个Minisat版本可以在浏览器中运行http://www.msoos.org/2013/09/minisat-in-your-browser/
我该如何用Minisat表达调度问题？是否有可编译为Minisat的高级语言，可以让我表达出来？
我的意思是解决考试时间表等问题。 http://docs.jboss.org/drools/release/6.1.0.Final/optaplanner-docs/html_single/#examination
最佳答案
另一种高级建模语言是Picat(http://picat-lang.org/)，当使用sat模块(例如， “解决([转储]，变量)”。使用sat模块以及cp和mip模块时的语法类似于标准CLP语法。
有关Picat的一些示例，请参见我的Picat页面:http://hakank.org/picat/。
关于constraint-programming - 如何在minisat中表达调度问题？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/27507206/