sat-d ~master (2021-08-24T14:19:06Z)
Dub
Repo
Clause.removeLiteral
satd
cnf
Clause
Undocumented in source. Be warned that the author may not have intended to support it.
struct
Clause
auto
removeLiteral
(
Literal
lit
)
Meta
Source
See Implementation
satd
cnf
Clause
aliases
ID
constructors
this
functions
containsLiteral
isEmptyClause
isUnitClause
opBinaryRight
opCmp
removeLiteral
toString
unitLiteral
variables
id
literals