index
:
nissy-core
c-portability
h48-corner-estimate
h48-dfs-improvements
intertwined-fallback-table
master
python-callback
threads
windows
The "engine" of nissy, including the H48 optimal solver.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
030_applymoves
/
535_z3_solved.out
blob: fd02d56ea0e1945c3b93234e3be2c81a8f0e564c (
plain
)
1
ABCDEFGH=ABCDEFGHIJKL=I
Generated with
cgit
- Back to
sebastiano.tronto.net
