search

RobbieMcKinstry / acheron

A simple SAT solver
1 stars 0 forks source link

Remove "Status" field from Clause #22

Closed RobbieMcKinstry closed 2 years ago

RobbieMcKinstry commented 2 years ago

Clause keeps a "status" literal to cache whether its been satisfied or not. This makes the code harder to read, and it doesn't really provide any algorithmic benefits over using purely functional im::vectors. We should discard it as well as any related methods.

RobbieMcKinstry commented 2 years ago

This issue requires we upgrade assign to return whether the clause has been satisfied or not.