33 lines
672 B
Lua
33 lines
672 B
Lua
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
|