class AtCoder::TwoSat::NotSatisfiableError

• AtCoder::TwoSat::NotSatisfiableError
• Exception
• Reference
• Object

Defined in:

two_sat.cr

Constructors

• .new

Constructor Detail