50 lines
1.1 KiB
Lua
50 lines
1.1 KiB
Lua
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)
|