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
/
utils
/
extended_trans
/
701_BDm_z3.in
blob: 2a89815ad399866d5fac1b68430cae76b1fb2ac1 (
plain
)
1
2
mirrored BD z3
Generated with
cgit
- Back to
sebastiano.tronto.net
