https://github.com/nhaarman/macs2

A Sokoban solver using symbolic model checking for the MACS2 course at the University of Twente
https://github.com/nhaarman/macs2

Last synced: about 1 month ago
JSON representation

A Sokoban solver using symbolic model checking for the MACS2 course at the University of Twente

• Host: GitHub
• URL: https://github.com/nhaarman/macs2
• Owner: nhaarman
• Created: 2014-12-06T21:52:41.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2015-01-28T18:29:11.000Z (almost 10 years ago)
• Last Synced: 2024-10-31T09:16:23.853Z (3 months ago)
• Language: Java
• Homepage:
• Size: 9.27 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Build and run:

    ./gradlew build

    java -jar build/libs/sokoban.jar screens/screen.125

# Run tests:

    ./gradlew test

# Troubleshooting

    Exception in thread "main" java.lang.UnsupportedClassVersionError: sokoban/Sokoban : Unsupported major.minor version 52.0

Sokoban has been built using Java8. Make sure you're using Java8 to run the program.