picosat_added_original_clauses: The number of original clauses

Description Usage Arguments Value

View source: R/rpicosat.R

Description

The number of original clauses

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.