535_z3_solved.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

535_z3_solved.in (27B)

      1 z3
      2 ABCDEFGH=ABCDEFGHIJKL=A