picosat_visits: The number of visits during a search

Description Usage Arguments Value

View source: R/rpicosat.R

Description

The number of visits during a search

Usage

1

Arguments

x

a picosat solution object

Value

an integer vector of length 1


rpicosat documentation built on May 1, 2019, 8:41 p.m.