https://github.com/glguy/sat-for-games
SAT tutorial exercise code
https://github.com/glguy/sat-for-games
Last synced: about 1 year ago
JSON representation
SAT tutorial exercise code
- Host: GitHub
- URL: https://github.com/glguy/sat-for-games
- Owner: glguy
- License: isc
- Created: 2018-09-21T00:02:34.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-09-29T13:14:22.000Z (over 7 years ago)
- Last Synced: 2025-03-23T21:01:36.460Z (about 1 year ago)
- Language: Haskell
- Homepage:
- Size: 364 KB
- Stars: 5
- Watchers: 2
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Changelog: ChangeLog.md
- License: LICENSE
Awesome Lists containing this project
README
# sat-for-games
This repository is support material for the ICFP 2018 Tutorial track
## Notice!
The repository is currently in a completed state. I intend to remove portions of the code to serve as tutorial exercises during the session.
## Building the project
To build this repository you'll need a recent version of GHC, cabal-install, and minisat.
GHC and cabal-install can be installed using the *Core Haskell Platform* installer at https://www.haskell.org/platform/
Minisat can be installed from your package manager or from the Minisat website. If Minisat isn't available it should also be possible to adapt the project to work with Cryptominisat.
```
$ cd sat-for-games
$ cabal new-repl
```
I'll make the tutorial slides available online soon!