标签： prolog constraints solver sat sat-solvers
我必须解决SAT的问题。 那个问题有2个基数限制， 第一个是：最多6个＆＃34;同一阶段＆＃34;每天，＆＃34;大学＆＃34;是＆＃34;开放＆＃34;每天12小时，因此您必须生成约束以将它们应用于SAT求解器。
第二个基数约束是：每个科目每周必须至少有X个小时。
我一直在阅读，最好的方法可能是＃34;排序网络算法＆＃34;我并不知道第二，虽然我不知道如何实施，甚至不开始在prolog中实现它。