local kiwi = require("kiwi")

local c
--debug.getupvalue
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 c1 = (3 * v1 + 4 * v2 + 6 * v3):eq(0)
   local c2 = (6 * v4 + 4 * v5 + 2 * v1 + 1.4 * v1 / 0.3):le(1000)

   local e = c1:expression()
   local s = kiwi.Solver()

   s:add_constraints({ c1, c2, c1 })
   print(s:dumps())
end

-- c = (3 * v1 + 4 * v2 + 6 * v3):eq(0)

-- local t = c:expression():terms()
-- print(t[2].var)

-- for k, v in ipairs(t) do
--    print(k, v.var, v.coefficient)
-- end

-- for k, v in pairs(kiwi.ErrKind) do
--    print(k, v)
-- end