W95Psp/AutomatedReasoningAssignment1

Assignment for the course http://www.win.tue.nl/~hzantema/ar.html

AutomatedReasoningAssignment1

Assignment for the course http://www.win.tue.nl/~hzantema/ar.html

Full sources of Python scripts

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4

Results generated

• Exercise 1: just run Exo1.py
• Exercise 2:
  • For d=15
  • For d=18
• Exercise 3:
  • For c=56
  • For c=57
  • For c=58
  • For c=59
  • For c=60
  • For c=61
• Exercise 4:
  • For 230
  • For 249
  • For 266
  • For 281
  • For 294
  • For 305
  • For 314
  • For 321
  • For 326
  • For 329
  • For 330
  • For 239