CDCLSolver.assignLiteral

与えられたリテラルが真になるように変数への真偽値割り当てを行います。