====================================================================
Published: 1 January 2023
Tags: graphics, logic
Szymon Kaliski, Marcel Goethals, and Mike Kluev explore solving logic problems with fuzzy constraints
Some highlights:
- Untangle is "a tool that can help us think through ill-defined problems, understand compromises, and learn about what kind of questions to ask"
- Not super in-depth on the programming side of things, but an interesting study on how to approach a solving a problem
- It's basically a look into how a theorem prover can be adapted for more "human" inputs