remove default nsolves parameter from solve_n (#266)
remove default nsolves parameter from solve_n (#266)


trailofbits/manticore,trailofbits/manticore,trailofbits/manticore,montyly/manticore,montyly/manticore