https://github.com/codlocker/cse-579-clingo-solutions

Solutions to Answer Set Programming Problems using Clingo
https://github.com/codlocker/cse-579-clingo-solutions

Last synced: 4 months ago
JSON representation

Solutions to Answer Set Programming Problems using Clingo

• Host: GitHub
• URL: https://github.com/codlocker/cse-579-clingo-solutions
• Owner: codlocker
• Created: 2023-03-05T17:38:41.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2023-03-14T01:44:34.000Z (over 3 years ago)
• Last Synced: 2025-07-18T14:51:18.745Z (11 months ago)
• Size: 1.61 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

          

### Programming Assignment - 2

**Q1** Block Problem where table size is limited.

- ![table_size=3](images/PA2_Q1_table_size%3D3_Accepted.PNG)

**Q2** Block Problem

- ![x=0](images/PA2_Q2_x%3D0.PNG)

**Q3** Block Problem to making movements serializable.

- ![x=8](images/PA2_Q3_x%3D8.PNG)

**Q4** Block Problem for minimum steps needed to reach final step

- ![x=8](images/PA2_Q4_x%3D8.PNG)

- ![x=9](images/PA2_Q4_x%3D9.PNG)

- ![x=10](images/PA2_Q4_x%3D10.PNG)