gofd is a concurrent finite domain solver for golang.
go get bitbucket.org/gofd/gofd
Getting Started - Model and solve your first constraint satisfaction problem
Labeling - Model and solve a more complex constraint satisfaction problem with labeling
Eight Queens - Place eight queens on a chess board so that no two queens attack each other
gofd paper Solving “CSP” with “CSP” - Overview paper explaining the gofd architecture
- Automatically generated api documentation of gofd