SAT Part 1 — Boolean logic

Today we are going to implement some Boolean logic in SAT. Equal and not equal Let’s begin with equality. We have a clause and we want to add clause which is equal to . This means that if is in some assignment then is as well. We get this with the following: If is then … Continue reading SAT Part 1 — Boolean logic