local kiwi = require("kiwi")
local ffi = require("ffi")

local t
local e
local strformat = string.format
local Strength = kiwi.Strength

--local bad_str = "-1 v8 + -1 v4 + -1 v2 + -4 v9 + -2 v3 + -1 v6 + -1 v5 + -1 v1 + -2 v7 + -5"
-- local b = ""

function s(self)
   local ops = {
      [0] = "<=",
      ">=",
      "==",
   }
   local strengths = {
      [Strength.REQUIRED] = "required",
      [Strength.STRONG] = "strong",
      [Strength.MEDIUM] = "medium",
      [Strength.WEAK] = "weak",
   }
   local strength = self:strength()
   --local e = self:expression()
   local s = strformat("%s %s %s", "aaa", tostring(self:expression()), tonumber(self:op()))
   return s
end

for i = 1, 2000 do
   local v1 = kiwi.Var("v1")
   local v2 = kiwi.Var("v2")
   local v3 = kiwi.Var("v3")
   local v4 = kiwi.Var("v4")

   local v5 = kiwi.Var("v5")
   local v6 = kiwi.Var("v6")
   local v7 = kiwi.Var("v7")
   local v8 = kiwi.Var("v8")
   local v9 = kiwi.Var("v9")
   local v10 = kiwi.Var("v9")

   do
      --
      local c = ((-(v1 + v2 + 2 * v3 + v4 + 3)):eq(v5 + v6 + 2 * v7 + v8 + 4 * v9 + 3))
      s(c)
   end
end
print(t)