victornicolet/3jobshop_constraint_positive_vars.smt2

Created October 1, 2017 17:16

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/victornicolet/4125cd8f629b482830fb7e8407ed1346.js"></script>
Save victornicolet/4125cd8f629b482830fb7e8407ed1346 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

3jobshop_constraint_positive_vars.smt2

(assert (and (>= t00 0) (>= t01 0) (>= t02 0) (>= t10 0) (>= t11 0) (>= t12 0) (>= t20 0) (>= t21 0)))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment