-MG aborts on FreeBSD
FeeBSD上で manyglucoseがコケる件 実行結果を貼っておきます
betelgeuse123> ./naps_debug Examples/garden9x9.pb -MG
c NaPS 1.02b1.
Assertion failed: (lret != ll_Undef), function solve_, file Solver.h, line 395.
アボート
FeeBSD上で manyglucoseがコケる件 実行結果を貼っておきます
betelgeuse123> ./naps_debug Examples/garden9x9.pb -MG
c NaPS 1.02b1.
Assertion failed: (lret != ll_Undef), function solve_, file Solver.h, line 395.
アボート