Skip to main content

Module wcnf_parser

veripb_parser

Module wcnf_parser 

Source
Expand description

Parsing functions for WCNF MaxSAT files.

The format has been specified in the MaxSAT Evaluation 2022.

Functionsยง

parse_wcnf_from_file
Parse a formula from a WCNF file. The WCNF format is described in the MaxSAT Evaluation 2022.
parse_wcnf_from_file_given_var_manager
Parse a formula from a WCNF file. The WCNF format is described in the MaxSAT Evaluation 2022.