Module opb_parser 

Parser for the OPB format as specified by the PB competition 2024.

Tokenization is performed using OPBToken.

Functions

parse_opb_from_file

Parse an OPB file into Formula of constraints and store the names of the variables in a VarNameManager.

parse_opb_from_file_given_var_manager

Parse an OPB file into Formula of constraints and store the names of the variables in a VarNameManager.

parse_opb_objective

Parse an objective specified in OPB format.

parse_single_constraint

Parse a single OPB constraint.