Skip to content

Instantly share code, notes, and snippets.

@vznvzn

vznvzn/satdiv solve stderr

Created April 30, 2016 00:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vznvzn/d5507cd833f45ada2b3e817b9e8b8e6d to your computer and use it in GitHub Desktop.
Save vznvzn/d5507cd833f45ada2b3e817b9e8b8e6d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
satdiv solve stderr
["w= 5", "z= 5", "r= 11", "z % r= 5", "s= 5"]
[-1, -2, 3, -4, 5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, 21, -22, -23, 24, -25, -26, 27
, -28, 29]
[-1, -2, 3, -4, 5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, 21, -22, -23, 24, -25, -26, 27
, -28, 29]
["w= 5", "z= 21", "r= 7", "z % r= 0", "s= 0"]
[1, -2, 3, -4, 5, -6, -7, -8, -9, -10, 11, -12, 13, -14, 15, -16, 17, -18, 19, 20, -21, -22, -23]
[1, -2, 3, -4, 5, -6, -7, -8, -9, -10, 11, -12, 13, -14, 15, -16, 17, -18, 19, 20, -21, -22, -23]
["w= 5", "z= 7", "r= 13", "z % r= 7", "s= 7"]
[-1, -2, 3, 4, 5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, 21, -22, -23, 24, 25, -26, 27,
28, 29]
[-1, -2, 3, 4, 5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, 21, -22, -23, 24, 25, -26, 27,
28, 29]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment