veripb-formula
| Crates.io | veripb-formula |
| lib.rs | veripb-formula |
| version | 0.1.1 |
| created_at | 2025-10-03 12:44:20.337024+00 |
| updated_at | 2025-11-02 18:36:45.489558+00 |
| description | VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures. |
| homepage | |
| repository | https://gitlab.com/MIAOresearch/software/VeriPB |
| max_upload_size | |
| id | 1866627 |
| size | 196,948 |
Andy Oertel (aoertel)
documentation
README
VeriPB Formula
Library for VeriPB to handle constraints and formulas.