sat

The main aim of sat is to help the student to grasp the semantic of formulas with quantifiers by using a signature with predicates denoting geometrical figures and relations about relative placements between the figures.