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_move
/
535_z3_solved.in
blob: f69727924743cafdc42d501f520a3f513f4c351e (
plain
)
1
2
z3 ABCDEFGH=ABCDEFGHIJKL=A
Generated with
cgit
- Back to
sebastiano.tronto.net
