IT, operating systems, maths, and more.
This is the first part of the SAT series. For your convenience you can find other parts using the links below: SAT Part 1 — Boolean logic SAT Part 2 — Arithmetic Part 3 — Reducing ILP to SAT Today we are going to implement some Boolean logic in SAT. Equal and not equal Let’s … Continue reading SAT Part 1 — Boolean logic
When developing an application there are multiple things we should focus on to make our life easier and more pleasant. In this post I describe couple of areas I personally find important. Developer experience Have you ever entered a project just to realize you can’t compile it in one day? Or have you ever struggled … Continue reading Four types of experience in software engineering
This is the eightieth fourth 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 Na koń. Code: First, we create variables in line 3. We define one binary digit for each field of the … Continue reading ILP Part 84 — Na koń
This is the eightieth third 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 Dolepki. We have some natural number for which we know that a sum of an arithmetic progression is equal to … Continue reading ILP Part 83 — Concatenation
This is the eightieth second 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’re going to solve S and P. The idea is: we start with two non-negative integers and . We calculate and . Now we take … Continue reading ILP Part 82 — S and P