IT, operating systems, maths, and more.
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
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
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
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
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