all.out « basic « test - nissy-core - The "engine" of nissy, including the H48 optimal solver.

about summary refs log tree commit diff

path: root/test/basic/all.out

blob: d77f7f412dca7c58b20a3f18f847a13c72cc4d37 (plain)

Solved is consistent
Solved is solved
Zero is NOT consistent
Zero is NOT solved

Generated with cgit - Back to sebastiano.tronto.net