title: How can I express scheduling problems in minisat?
body: <p>Minisat is a constraint programming/satisfaction tool, there is a version of Minisat which works here in the browser <a href="http://www.msoos.org/2013/09/minisat-in-your-browser/" rel="nofollow noreferrer">http://www.msoos.org/2013/09/minisat-in-your-browser/</a></p>
  
  <p>How can I express a scheduling problem with Minisat? Is there a higher level language which compiles to Minisat which would let me express it?</p>
  
  <p>I mean for solving problems like exam timetabling. <a href="http://docs.jboss.org/drools/release/6.1.0.Final/optaplanner-docs/html_single/#examination" rel="nofollow noreferrer">http://docs.jboss.org/drools/release/6.1.0.Final/optaplanner-docs/html_single/#examination</a></p>
  
  <p><img src="https://i.stack.imgur.com/NOWuQ.png" alt="enter image description here"></p>