Skip to content

Instantly share code, notes, and snippets.

@victornicolet

victornicolet/3jobshop_declare_vars.smt2

Last active January 3, 2022 15:38
Show Gist options
  • Save victornicolet/0a2105e4bb1d59587cab8849a2be2b55 to your computer and use it in GitHub Desktop.
Save victornicolet/0a2105e4bb1d59587cab8849a2be2b55 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
3jobshop_declare_vars.smt2
(declare-const t00 Int)
(declare-const t01 Int)
(declare-const t02 Int)
(declare-const t10 Int)
(declare-const t11 Int)
(declare-const t12 Int)
(declare-const t20 Int)
(declare-const t21 Int)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment