veripb-propagator
| Crates.io | veripb-propagator |
| lib.rs | veripb-propagator |
| version | 0.1.1 |
| created_at | 2025-10-03 12:47:27.353783+00 |
| updated_at | 2025-11-02 18:37:55.969824+00 |
| description | VeriPB library for a pseudo-Boolean propagation engine. |
| homepage | |
| repository | https://gitlab.com/MIAOresearch/software/VeriPB |
| max_upload_size | |
| id | 1866629 |
| size | 148,181 |
Andy Oertel (aoertel)
documentation
README
VeriPB Propagator
Propagation engine library for VeriPB.