Sha256: 86d104eb25c69fd01c53576fc934b82b6174e9f6a21aee5b96f6a17049a44d72
Contents?: true
Size: 362 Bytes
Versions: 11
Compression:
Stored size: 362 Bytes
Contents
module Ravensat
class DimacsDecoder
def decode(model, cnf)
prop_vars = cnf.vars
case model.first
when "SAT"
model.last.split.each_with_index do |e,i|
break if e == '0'
var = prop_vars[i]
var.value = !(e[0] == '-')
end
true
when "UNSAT"
false
end
end
end
end
Version data entries
11 entries across 11 versions & 1 rubygems