# ILP Part 86 — Skyscrapers

This is the eightieth sixth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Today we are going to solve a modification of Skyscrapers riddle. In regular Skyscrapers we have a square board with some skyscrapers on it where all … Continue reading ILP Part 86 — Skyscrapers

# ILP Part 85 — Lying riddle

This is the eightieth fifth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Today we are going to solve Lying riddle (Kłamigłówka). We have a board split into parts. Each part has some numbers in it. A number indicates … Continue reading ILP Part 85 — Lying riddle

# SAT Part 3 — Reducing ILP to SAT

This is the third part of the SAT series. For your convenience you can find other parts in the table of contents in Part 1 — Boolean logic Today we are going to reduce ILP to SAT. Introduction Depending on the solver, typical ILP supports the following operations: Adding two variables Negating variable Subtracting variables … Continue reading SAT Part 3 — Reducing ILP to SAT

# SAT Part 2 — Arithmetic

This is the second part of the SAT series. For your convenience you can find other parts in the table of contents in Part 1 — Boolean logic Today we’re going to implement some basic arithmetic in SAT. Addition We assume numbers are represented using U2 scheme. All we need to do is to implement … Continue reading SAT Part 2 — Arithmetic