【文件属性】:
文件名称:pylon:使用约束优化进行计划和计划
文件大小:3.08MB
文件格式:ZIP
更新时间:2021-04-29 13:49:28
Java
如何在伪布尔(PB)实例上运行SAT4J?
java -jar jars/sat4j-pb.jar examples/example.opb
应导致以下输出:
...
s SATISFIABLE
c Found 1 solution(s)
v -x1 x2 -x3 x4 -x5