Skip to content

-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.
アボート
Edited by Masahiko Sakai