veripb-formula 0.1.2

VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures.
Documentation 
1
2
3

# VeriPB Formula

Library for [VeriPB](https://gitlab.com/MIAOresearch/VeriPB) to handle constraints and formulas.