Solve Japanese puzzles using a SAT solver. Uses SAT4j via https://github.com/Engelberg/rolling-stones
Download from http://example.com/FIXME.
lein run
FIXME: listing of options this app accepts.
...
...
Copyright © 2017 FIXME
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.