opb2pbcount
| Crates.io | opb2pbcount |
| lib.rs | opb2pbcount |
| version | 0.2.0 |
| created_at | 2025-11-25 12:51:41.718457+00 |
| updated_at | 2025-12-01 11:53:39.501192+00 |
| description | Converter for the OPB format to be used by pbcount |
| homepage | |
| repository | https://github.com/uulm-janbaudisch/opb2pbcount.git |
| max_upload_size | |
| id | 1949665 |
| size | 32,139 |
Jan Baudisch (uulm-janbaudisch)
documentation
README
opb2pbcount
Converter for the OPB format to be used by pbcount
This tool takes an OPB file and modifies it in such a way that it can be consumed by pbcount.
The following changes are made to the formua:
- variables are put in the form of
x1,x2, ... - constraints are changed to only
=or>= - fails on constraint type
!=
Installation
Nix
nix build github:uulm-janbaudisch/opb2pbcount
Cargo
cargo build --release
Usage
opb2pbcount --input file.opb --output output.opb