IT, operating systems, maths, and more.
This is the eightieth ninth 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 Słupki rosną riddle. We have a board chipped into multiple parts. We need to build poles of different heights so … Continue reading ILP Part 89 — Poles
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
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