Skip to content

Instantly share code, notes, and snippets.

@victornicolet

victornicolet/3jobshop_minsat.smt2

Created October 1, 2017 18:32
Show Gist options
  • Save victornicolet/a6dd6b119bf059c3ab2bc84446bca1b3 to your computer and use it in GitHub Desktop.
Save victornicolet/a6dd6b119bf059c3ab2bc84446bca1b3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
3jobshop_minsat.smt2
;;define the max function
(define-fun max ((x Int) (y Int)) Int (ite (< x y) y x))
;; optimization problem
(minimize (max (+ t02 2) (max (+ t12 4) (+ t21 3))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment