sat-d ~master (2022-04-03T07:32:45.429282)
Dub
Repo
negate
satd
cnf
与えられた Literal を否定したものを返す。
Literal
negate
(
Literal
lit
)
Meta
Source
See Implementation
satd
cnf
aliases
Literal
Set
functions
negate
structs
CNF
Clause
与えられた Literal を否定したものを返す。