Skip to content

Instantly share code, notes, and snippets.

@bokner

bokner/gist:7ac36dd96d1409fee3e7881d593ff900

Created August 12, 2020 01:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bokner/7ac36dd96d1409fee3e7881d593ff900 to your computer and use it in GitHub Desktop.
Save bokner/7ac36dd96d1409fee3e7881d593ff900 to your computer and use it in GitHub Desktop.
Download ZIP
Sample minisearch run
Raw
gistfile1.txt
cd minisearch
## Note the path for solver executable
minisearch --stdlib-dir ./share/minizinc --solver /snap/minizinc/254/bin/fzn-gecode n_queens.mzn
Solution 1:
8 queens, CP version:
. Q . . . . . .
. . . Q . . . .
. . . . . Q . .
. . . . . . . Q
. . Q . . . . .
Q . . . . . . .
. . . . . . Q .
. . . . Q . . .
----------
No more solutions found
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment