https://github.com/super7ramp/crogo
A crossword solver backed by various SAT solvers
https://github.com/super7ramp/crogo
crossword sat
Last synced: about 1 month ago
JSON representation
A crossword solver backed by various SAT solvers
- Host: GitHub
- URL: https://github.com/super7ramp/crogo
- Owner: super7ramp
- Created: 2024-09-01T19:55:37.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2025-03-31T18:47:36.000Z (about 2 months ago)
- Last Synced: 2025-03-31T19:37:21.280Z (about 2 months ago)
- Topics: crossword, sat
- Language: Go
- Homepage:
- Size: 1020 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## Crogo 🐊
Same as [Croissant 🥐](https://github.com/super7ramp/croissant), but in Go.
Work in progress.
### Build
```shell
go build -o crogo cmd/crogo/main.go
```
### Usage
See `crogo --help`:
```
🐊 Welcome to Crogo, a crossword solver that bites
Examples:
$ crogo "...,...,..." # The grid is a comma-separated list of rows.
[[B A A] [A B B] [B A A]]
$ crogo "A..,B..,C.." # '.' means an empty cell
[[A B A] [B A B] [C H A]]
$ crogo "ALL,...,..." --count 3 # --count allows to get more than one solution
[[A L L] [B A A] [A B B]]
[[A L L] [K A A] [A B B]]
[[A L L] [K A A] [E B B]]
Usage:
crogo [flags]
Flags:
-c, --count int the desired number of solutions (default 1)
-h, --help help for crogo
-s, --solver string the desired solver backend. Possible values are: logicng, gini (default "logicng")
```