wip
remove temporary debug helper
remove unused import
update solver impl
add infeasible rows to debug output
fix typo with guard usage
allow empty dict to Solver.__new__