crackNum-4.7: Golds/encode0.gold

Arguments: -i4 -- -2
Exit code: ExitSuccess
Satisfiable. Model:
  ENCODED = -2 :: IntN 4
                  3210
   Binary layout: 1110
      Hex layout: E
            Type: Signed 4-bit 2's complement integer
            Sign: Negative
          Binary: -0b10
           Octal: -0o2
         Decimal: -2
             Hex: -0x2