Research artifact
sat-counter-v0.1.0.zip
Supplement for Disjoint SAT Counting as a Coproduct Decomposition: A Rust Prototype
Author: Anonymous
252,498 bytes · application/zip
SHA-256: 3eda1182080750badd9d901375bc52e3897fe3eda412f2bcf55734a34c302498
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/80348d2dfafa295ba469a70c898cf79f