LOGIC4FUN

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

Please log in or create an account to use the solver.
Save Title:
Saved Solutions
Name Time saved
Class Submissions
Name Time submitted
  
Powered by:                 

  Auto Parser Results

No errors found.