https://github.com/danluu/kodkod-clj
Messing around with a SAT solver in clojure
https://github.com/danluu/kodkod-clj
Last synced: over 1 year ago
JSON representation
Messing around with a SAT solver in clojure
- Host: GitHub
- URL: https://github.com/danluu/kodkod-clj
- Owner: danluu
- Created: 2012-11-13T04:47:30.000Z (over 13 years ago)
- Default Branch: master
- Last Pushed: 2012-11-13T04:52:17.000Z (over 13 years ago)
- Last Synced: 2025-02-16T14:05:57.895Z (over 1 year ago)
- Language: Clojure
- Size: 105 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Just archiving a random file I found on my HD for posterity. According to the comments, I seem to have picked up a book on clojure and then decided to solve some problems with a SAT solver on a flight to NYC.