SAT solvers are used everywhere. Your local public transport is likely scheduled with it. International trains are scheduled with it. Industrial automation is scheduled with it. Your parcel is likely not only scheduled with it, but even its placement on the ship is likely optimised with it. Hell, it’s even used in the deep depths of cryptocurrencies, where the most optimal block composition is computed with it. Even your friendly local nuclear reactor may have had its failure probability computed with (a variation of) it - SATisfying Solutions to Difficult Problems! / HN

Modern SAT solvers: fast, neat and underused - TheCodingNest - [HN]

• part 1
• part 2
• part 3