# ILP Part 88 — Magical Tangram

This is the eightieth eighth 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 this task. We have a board with some letters on it. Letters are assigned numbers from zero to nine. Letters … Continue reading ILP Part 88 — Magical Tangram

# TLA+ Part 2 — TLA+ to ILP Part 2 — Performance check

This is the second part of the TLA+ series. For your convenience you can find other parts in the table of contents in Part 1 — TLA+ to ILP Part 1 — Reducing problem Let’s now carry on with adding more invariants. Tutorial says to reorder the operations, so let’s first update the db and … Continue reading TLA+ Part 2 — TLA+ to ILP Part 2 — Performance check

# TLA+ Part 1 — TLA+ to ILP Part 1 — Reducing problem

This is the first part of the TLA+ series. For your convenience you can find other parts using the links below: Part 1 — TLA+ to ILP Part 1 — Reducing problem Part 2 — TLA+ to ILP Part 2 — Performance check Today we are going to reduce some TLA+ algorithm to ILP and … Continue reading TLA+ Part 1 — TLA+ to ILP Part 1 — Reducing problem

# ILP Part 87 — Sequence of squares

This is the eightieth seventh part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra We want to create a sequence of numbers of increasing length where each number is a square of some integer and has same digits as previous … Continue reading ILP Part 87 — Sequence of squares

# 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