https://github.com/samuelschlesinger/sudoku

A sudoku solver written with the Z3 SAT Solver
https://github.com/samuelschlesinger/sudoku

Last synced: 11 days ago
JSON representation

A sudoku solver written with the Z3 SAT Solver

• Host: GitHub
• URL: https://github.com/samuelschlesinger/sudoku
• Owner: SamuelSchlesinger
• Created: 2016-07-30T14:01:26.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-07-30T15:02:37.000Z (over 8 years ago)
• Last Synced: 2023-02-27T11:37:52.042Z (over 1 year ago)
• Language: Haskell
• Size: 1.95 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project