701_BDm_z3.in - nissy-core - The "engine" of nissy, including the H48 optimal solver.

	nissy-core The "engine" of nissy, including the H48 optimal solver.
	git clone https://git.tronto.net/nissy-core
	Download \| Log \| Files \| Refs \| README \| LICENSE

701_BDm_z3.in (15B)

      1 mirrored BD
      2 z3