Crate bool2cnf

Source

Modules§

utils

Functions§

create_variables
create all the needed variables
default_kconfig_operators
dimacs
dimacs_with_index
exact_config
parse_cnf
parse_dimacs
transfer from string to dimacs
parse_formula
satisfiable
solve