fabric-chaincode-example-sbe - Contains an example java chaincode gradle project that includes state based endorsement 'dev' main branch builds. These 'dev' drivers are built from the main branch only ...

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form. cnf sat sat-encodings pseudo-boolean. Updated Jun 23, 2025; Rust; msakai / pseudo-boolean. Star 3 ...