SatSchool

Description of the SatSchool project here