//H2i turns a string 0x00000 to its base 10 counterpart in uint64
H2i turns a string 0x00000 to its base 10 counterpart in uint64
// H2i turns a string 0x00000 to its base 10 counterpart in uint64
func (s *Solver) H2i(in string) uint64 {
	tmp := strings.ReplaceAll(in, "0x", "")
	tmp = strings.TrimLeft(tmp, "0")
	tmp = strings.TrimRight(tmp, " ")
	if tmp == "" {
		log.Fatal("Unsat")
	}
	res, err := strconv.ParseUint(tmp, 16, int(s.width))
	if err != nil {
		log.Fatal(err)
	}
	return res
}
func ( s * Solver ) H2i ( in string ) uint64 { tmp := strings . ReplaceAll ( in , " " , " " ) tmp = strings . TrimLeft ( tmp , " " ) tmp = strings . TrimRight ( tmp , " " ) if tmp == " " { log . Fatal ( " " ) } res , err := strconv . ParseUint ( tmp , 16 , int ( s . width ) ) if err != nil { log . Fatal ( err ) } return res }
H2i turns a string 0x00000 to its base 10 counterpart in uint64
H2i turns a string 0x00000 to its base 10 counterpart in uint64