Stop the scout gate from discarding coupled-frame results; include unit clauses in the 2-SAT check - #34

Stop the scout gate from discarding coupled-frame results; include unit clauses in the 2-SAT check#34

jesusvilela merged 1 commit into

mainjesusvilela/lambda-sat-solver:mainfrom

copilot/fix-scout-frame-solvejesusvilela/lambda-sat-solver:copilot/fix-scout-frame-solveCopy head branch name to clipboard