Beginner Four HorsemenSample answers
The logic here is rather similar to that of “Library Books”, except that there are three declared sorts instead of two, and the “int” sort is not used.
Note the symbol “!=” for non-equality. Nothing deep about that.
Solver
Auto Parser Results
No errors found.