Lib.rs

Cargo Features

[dependencies]
rIC3 = { version = "1.3.1", default-features = false, features = ["no_bound_check"] }

default = no_bound_check

The no_bound_check feature is set by default whenever rIC3 is added without default-features = false somewhere in the dependency tree.

no_bound_check default

Enables no_bound_check of giputils and logic-form

rIC3 has 2 features without comments.