Skip to main content

tiny_xgcf_spec

xlog_cuda_tests::harness::xgcf

Function tiny_xgcf_spec 

Source 
pub fn tiny_xgcf_spec() -> TinyXgcfSpec
Expand description

Tiny Decision-DNNF-shaped XGCF circuit that exercises CONST/LIT/AND/OR/DECISION nodes.