Index _ | A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | U | V | W _ __init__() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.encoder.PBItem method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.model.AssignmentView method) (hermax.model.BoolMatrix method) (hermax.model.Clause method) (hermax.model.ClauseGroup method) (hermax.model.DivExpr method) (hermax.model.EnumMatrix method) (hermax.model.EnumVar method) (hermax.model.IntervalVar method) (hermax.model.IntMatrix method) (hermax.model.IntVar method) (hermax.model.Literal method) (hermax.model.MaxExpr method) (hermax.model.Model method) (hermax.model.PBConstraint method) (hermax.model.PBExpr method) (hermax.model.SoftRef method) (hermax.model.SolveResult method) (hermax.model.Term method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.AdjustTimeLimit method) (hermax.portfolio.PortfolioEvent method) (hermax.portfolio.PortfolioSolver method) (hermax.utils.SortingNetwork method) (hermax.utils.SortingNetworkLayers method) __new__() (hermax.core.ipamir_solver_interface.SolveStatus method) A add() (hermax.model.PBExpr method) add_clause() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) add_soft() (hermax.model.Model method) add_soft_relaxed() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) add_soft_unit() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) addClause() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_incr.EvalMaxSATIncr method) (evalmaxsat_latest.EvalMaxSAT method) (loandra.Loandra method) (nuwls_c_ibr.NuWLSCIBR method) (openwbo.Auto method) (openwbo_inc.OpenWBOInc method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (tt_openwbo_inc.TTOpenWBOInc method) (urmaxsat_py.UWrMaxSAT method) (wmaxcdcl.WMaxCDCL method) addSoftLit() (evalmaxsat_incr.EvalMaxSATIncr method) AdjustTimeLimit (class in hermax.portfolio) all_different() (hermax.model.EnumVector method) (hermax.model.IntVector method) ALLOW_NEGATIVE_OBJECTIVE_OFFSETS (hermax.model.Model attribute) append() (hermax.model.Clause method) apply_sorting_network() (in module hermax.utils) apply_sorting_network_layers() (in module hermax.utils) assignment (hermax.model.SolveResult attribute) AssignmentView (class in hermax.model) assume() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_incr.EvalMaxSATIncr method) (urmaxsat_py.UWrMaxSAT method) at_least_one() (hermax.model.BoolVector method) at_most_one() (hermax.model.BoolVector method) B backend (hermax.model.SolveResult attribute) batcher_odd_even_sorting_network() (in module hermax.utils) batcher_odd_even_sorting_network_layers() (in module hermax.utils) bool() (hermax.model.Model method) bool_dict() (hermax.model.Model method) bool_matrix() (hermax.model.Model method) bool_vector() (hermax.model.Model method) BoolDict (class in hermax.model) BoolMatrix (class in hermax.model) BoolVector (class in hermax.model) bound (hermax.encoder.PBItem attribute) C CALLBACK_HEARTBEAT_S (hermax.portfolio.PortfolioSolver attribute) CallbackAction (class in hermax.portfolio) canonical_internal_bool() (hermax.model.Model method) CASHWMaxSAT (class in hermax.non_incremental) cashwmaxsat.CASHWMaxSAT (built-in class) CGSS (class in hermax.non_incremental) choices (hermax.model.EnumVar attribute) Clause (class in hermax.model) ClauseGroup (class in hermax.model) clauses() (hermax.model.PBConstraint method) close() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) close_incremental() (hermax.model.Model method) cmp_op (hermax.encoder.PBItem attribute) coefficient (hermax.model.Term attribute) col() (hermax.model.BoolMatrix method) (hermax.model.EnumMatrix method) (hermax.model.IntMatrix method) compat_exit_code_status_map (hermax.non_incremental.incomplete.Loandra attribute) (hermax.non_incremental.incomplete.NuWLSCIBR attribute) (hermax.non_incremental.incomplete.OpenWBOInc attribute) (hermax.non_incremental.incomplete.SPBMaxSATCFPS attribute) (hermax.non_incremental.incomplete.TTOpenWBOInc attribute) compile_batch() (hermax.encoder.PBCompiler class method) compile_batch_with_options() (hermax.encoder.PBCompiler class method) complete() (hermax.portfolio.PortfolioSolver class method) CompletePortfolioSolver (class in hermax.portfolio) constant (hermax.model.PBExpr attribute) CONTINUE (hermax.portfolio.CallbackAction attribute) CoreTrail (class in hermax.incremental) cost (hermax.model.SolveResult attribute) (hermax.portfolio.PortfolioEvent attribute) cumulative() (hermax.model.Model method) D DEBUG_COMPILE (hermax.model.Model attribute) DEBUG_DELTA (hermax.model.Model attribute) DEBUG_NONE (hermax.model.Model attribute) DEBUG_VERBOSE (hermax.model.Model attribute) decode_model() (hermax.model.Model method) default_signature (hermax.non_incremental.incomplete.Loandra property) (hermax.non_incremental.incomplete.NuWLSCIBR property) (hermax.non_incremental.incomplete.OpenWBOInc property) (hermax.non_incremental.incomplete.SPBMaxSATCFPS property) (hermax.non_incremental.incomplete.TTOpenWBOInc property) dimacs (hermax.model.Clause property) disable_scip() (hermax.non_incremental.CASHWMaxSAT method) distance_at_most() (hermax.model.IntVar method) DivExpr (class in hermax.model) DROP_CURRENT (hermax.portfolio.CallbackAction attribute) duration (hermax.model.IntervalVar attribute) E earliest_start (hermax.model.IntervalVar attribute) elapsed_s (hermax.portfolio.PortfolioEvent attribute) enable_profiling() (hermax.model.Model method) end (hermax.model.IntervalVar attribute) ends_before() (hermax.model.IntervalVar method) enum() (hermax.model.Model method) enum_dict() (hermax.model.Model method) enum_matrix() (hermax.model.Model method) enum_vector() (hermax.model.Model method) EnumDict (class in hermax.model) EnumMatrix (class in hermax.model) EnumVar (class in hermax.model) EnumVector (class in hermax.model) ERROR (hermax.core.ipamir_solver_interface.SolveStatus attribute) EvalMaxSAT (class in hermax.incremental) (class in hermax.non_incremental) evalmaxsat_incr.EvalMaxSATIncr (built-in class) evalmaxsat_latest.EvalMaxSAT (built-in class) EvalMaxSATIncremental (class in hermax.incremental) event_type (hermax.portfolio.PortfolioEvent attribute) exactly_one() (hermax.model.BoolVector method) extend() (hermax.model.ClauseGroup method) F flatten() (hermax.model.BoolMatrix method) (hermax.model.EnumMatrix method) (hermax.model.IntMatrix method) floor_div() (hermax.model.Model method) forbid_interval() (hermax.model.IntVar method) forbid_value() (hermax.model.IntVar method) fresh_internal_bool() (hermax.model.Model method) from_dimacs() (hermax.model.Clause class method) from_item() (hermax.model.PBExpr class method) from_iterable() (hermax.model.Clause class method) G get_cost() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) get_encoding_profile() (hermax.model.Model method) get_model() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) get_status() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) get_weights() (hermax.encoder.PBItem method) getCost() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_incr.EvalMaxSATIncr method) (evalmaxsat_latest.EvalMaxSAT method) (loandra.Loandra method) (nuwls_c_ibr.NuWLSCIBR method) (openwbo.Auto method) (openwbo_inc.OpenWBOInc method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (tt_openwbo_inc.TTOpenWBOInc method) (urmaxsat_py.UWrMaxSAT method) (wmaxcdcl.WMaxCDCL method) getModel() (evalmaxsat_latest.EvalMaxSAT method) (loandra.Loandra method) (nuwls_c_ibr.NuWLSCIBR method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (wmaxcdcl.WMaxCDCL method) getValue() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_incr.EvalMaxSATIncr method) (evalmaxsat_latest.EvalMaxSAT method) (loandra.Loandra method) (nuwls_c_ibr.NuWLSCIBR method) (openwbo.Auto method) (openwbo_inc.OpenWBOInc method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (tt_openwbo_inc.TTOpenWBOInc method) (urmaxsat_py.UWrMaxSAT method) (wmaxcdcl.WMaxCDCL method) group_id (hermax.model.SoftRef attribute) H hermax.core.utils module hermax.model module I id (hermax.model.Literal attribute) IMaxHS (class in hermax.incremental) implies() (hermax.model.Clause method) (hermax.model.ClauseGroup method) (hermax.model.Literal method) (hermax.model.PBConstraint method) in_range() (hermax.model.IntVar method) incomplete() (hermax.portfolio.PortfolioSolver class method) IncompletePortfolioSolver (class in hermax.portfolio) increasing() (hermax.model.IntVector method) int() (hermax.model.Model method) int_dict() (hermax.model.Model method) int_matrix() (hermax.model.Model method) int_set() (hermax.model.Model method) int_set_dict() (hermax.model.Model method) int_set_vector() (hermax.model.Model method) int_terms (hermax.model.PBExpr attribute) int_vector() (hermax.model.Model method) IntDict (class in hermax.model) INTERRUPTED (hermax.core.ipamir_solver_interface.SolveStatus attribute) INTERRUPTED_SAT (hermax.core.ipamir_solver_interface.SolveStatus attribute) interval() (hermax.model.Model method) IntervalVar (class in hermax.model) IntMatrix (class in hermax.model) IntVar (class in hermax.model) IntVector (class in hermax.model) IPAMIRSolver (class in hermax.core.ipamir_solver_interface) is_available() (hermax.incremental.CoreTrail class method) (hermax.incremental.IMaxHS class method) (hermax.non_incremental.CGSS class method) (hermax.non_incremental.incomplete.Loandra class method) (hermax.non_incremental.incomplete.NuWLSCIBR class method) (hermax.non_incremental.incomplete.OpenWBOInc class method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS class method) (hermax.non_incremental.incomplete.TTOpenWBOInc class method) (hermax.non_incremental.MaxHS class method) (hermax.portfolio.PortfolioSolver class method) is_cardinality (hermax.encoder.PBItem property) is_empty() (hermax.model.ClauseGroup method) is_feasible() (in module hermax.core.ipamir_solver_interface) is_final() (in module hermax.core.ipamir_solver_interface) is_in() (hermax.model.EnumVar method) is_in_or_none() (hermax.model.EnumVar method) is_optimal (hermax.portfolio.PortfolioEvent attribute) iter_dimacs() (hermax.model.ClauseGroup method) L last_run_details (hermax.portfolio.PortfolioSolver property) latest_end (hermax.model.IntervalVar attribute) lb (hermax.model.DivExpr property) (hermax.model.IntVar attribute) (hermax.model.MaxExpr property) lexicographic_less_than() (hermax.model.IntVector method) Literal (class in hermax.model) literal (hermax.model.Term attribute) literals (hermax.model.Clause property) lits (hermax.encoder.PBItem attribute) Loandra (class in hermax.non_incremental.incomplete) loandra.Loandra (built-in class) lower_bound() (hermax.model.IntVar method) (hermax.model.IntVector method) (hermax.model.Model method) M materialize_semantic() (hermax.model.ClauseGroup method) max() (hermax.model.IntVector method) (hermax.model.Model method) MaxExpr (class in hermax.model) MaxHS (class in hermax.non_incremental) MERGE_PB_OPTIMIZATION_ENABLED (hermax.model.Model attribute) min() (hermax.model.IntVector method) (hermax.model.Model method) mode (hermax.portfolio.AdjustTimeLimit attribute) Model (class in hermax.model) model (hermax.portfolio.PortfolioEvent attribute) module hermax.core.utils hermax.model N n (hermax.utils.SortingNetwork attribute) (hermax.utils.SortingNetworkLayers attribute) name (hermax.model.BoolDict attribute) (hermax.model.BoolMatrix attribute) (hermax.model.BoolVector attribute) (hermax.model.EnumDict attribute) (hermax.model.EnumMatrix attribute) (hermax.model.EnumVar attribute) (hermax.model.EnumVector attribute) (hermax.model.IntDict attribute) (hermax.model.IntervalVar attribute) (hermax.model.IntMatrix attribute) (hermax.model.IntVar attribute) (hermax.model.IntVector attribute) (hermax.model.Literal attribute) new_time_limit_s (hermax.portfolio.AdjustTimeLimit attribute) new_var() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) newVar() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_latest.EvalMaxSAT method) (loandra.Loandra method) (nuwls_c_ibr.NuWLSCIBR method) (openwbo.Auto method) (openwbo_inc.OpenWBOInc method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (tt_openwbo_inc.TTOpenWBOInc method) (urmaxsat_py.UWrMaxSAT method) (wmaxcdcl.WMaxCDCL method) no_overlap() (hermax.model.IntervalVar method) nonunit_soft_policy (hermax.incremental.EvalMaxSAT attribute) (hermax.non_incremental.CASHWMaxSAT attribute) (hermax.non_incremental.CGSS attribute) (hermax.non_incremental.EvalMaxSAT attribute) (hermax.non_incremental.incomplete.Loandra attribute) (hermax.non_incremental.incomplete.NuWLSCIBR attribute) (hermax.non_incremental.incomplete.OpenWBOInc attribute) (hermax.non_incremental.incomplete.SPBMaxSATCFPS attribute) (hermax.non_incremental.incomplete.TTOpenWBOInc attribute) (hermax.non_incremental.MaxHS attribute) (hermax.non_incremental.OpenWBO attribute) (hermax.non_incremental.OpenWBOOLL attribute) (hermax.non_incremental.OpenWBOPartMSU3 attribute) (hermax.non_incremental.RC2 attribute) (hermax.non_incremental.UWrMaxSATCompetition attribute) normalize_wcnf_formula() (in module hermax.core.utils) nullable (hermax.model.EnumVar attribute) num_vars (hermax.incremental.CoreTrail property) (hermax.incremental.EvalMaxSATIncremental property) (hermax.incremental.IMaxHS property) (hermax.incremental.UWrMaxSAT property) (hermax.incremental.UWrMaxSATCompetition property) nuwls_c_ibr.NuWLSCIBR (built-in class) NuWLSCIBR (class in hermax.non_incremental.incomplete) O obj (hermax.model.Model property) ok (hermax.model.SolveResult property) only_if() (hermax.model.Clause method) (hermax.model.ClauseGroup method) (hermax.model.Literal method) (hermax.model.PBConstraint method) OpenWBO (class in hermax.non_incremental) openwbo.Auto (built-in class) openwbo.OLL (built-in class) openwbo.PartMSU3 (built-in class) openwbo_inc.OpenWBOInc (built-in class) OpenWBOInc (class in hermax.non_incremental.incomplete) OpenWBOOLL (class in hermax.non_incremental) OpenWBOPartMSU3 (class in hermax.non_incremental) OPTIMUM (hermax.core.ipamir_solver_interface.SolveStatus attribute) P pass_assumptions_to_worker (hermax.non_incremental.incomplete.Loandra attribute) (hermax.non_incremental.incomplete.NuWLSCIBR attribute) (hermax.non_incremental.incomplete.OpenWBOInc attribute) (hermax.non_incremental.incomplete.SPBMaxSATCFPS attribute) (hermax.non_incremental.incomplete.TTOpenWBOInc attribute) PBCompiler (class in hermax.encoder) PBConstraint (class in hermax.model) PBExpr (class in hermax.model) PBItem (class in hermax.encoder) performance() (hermax.portfolio.PortfolioSolver class method) PerformancePortfolioSolver (class in hermax.portfolio) piecewise() (hermax.model.IntVar method) polarity (hermax.model.Literal attribute) PortfolioEvent (class in hermax.portfolio) PortfolioSolver (class in hermax.portfolio) prepare() (wmaxcdcl.WMaxCDCL method) profile_scope() (hermax.model.Model method) R raw (hermax.model.AssignmentView property) raw_model (hermax.model.SolveResult attribute) RC2 (class in hermax.non_incremental) row() (hermax.model.BoolMatrix method) (hermax.model.EnumMatrix method) (hermax.model.IntMatrix method) running_max() (hermax.model.IntVector method) running_min() (hermax.model.IntVector method) running_sum() (hermax.model.IntVector method) S scale() (hermax.model.IntVar method) (hermax.model.Model method) set_auto_pb_commit() (hermax.model.Model method) set_callback() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) set_debug() (hermax.model.Model method) set_kmerge_config() (hermax.model.Model method) set_merge_pb_optimization() (hermax.model.Model method) set_objective_offset_policy() (hermax.model.Model method) set_objective_precision() (hermax.model.Model method) set_rebuild_on_interrupt() (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.model.Model method) set_soft() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) set_soft_dedup() (hermax.model.Model method) set_soft_gcd_optimization() (hermax.model.Model method) set_terminate() (cashwmaxsat.CASHWMaxSAT method) (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) (urmaxsat_py.UWrMaxSAT method) setNInputVars() (evalmaxsat_latest.EvalMaxSAT method) (nuwls_c_ibr.NuWLSCIBR method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (wmaxcdcl.WMaxCDCL method) setNoScip() (cashwmaxsat.CASHWMaxSAT method) signature() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_incr.EvalMaxSATIncr method) (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) (urmaxsat_py.UWrMaxSAT method) single_clause_or_none() (hermax.model.ClauseGroup method) SOFT_DEDUP_ENABLED (hermax.model.Model attribute) SOFT_GCD_OPTIMIZATION_ENABLED (hermax.model.Model attribute) soft_ids (hermax.model.SoftRef attribute) SoftRef (class in hermax.model) solve() (cashwmaxsat.CASHWMaxSAT method) (evalmaxsat_incr.EvalMaxSATIncr method) (evalmaxsat_latest.EvalMaxSAT method) (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.model.Model method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) (loandra.Loandra method) (nuwls_c_ibr.NuWLSCIBR method) (openwbo.Auto method) (openwbo_inc.OpenWBOInc method) (spb_maxsat_c_fps.SPBMaxSATCFPS method) (tt_openwbo_inc.TTOpenWBOInc method) (urmaxsat_py.UWrMaxSAT method) (wmaxcdcl.WMaxCDCL method) SolveResult (class in hermax.model) SolveStatus (class in hermax.core.ipamir_solver_interface) SortingNetwork (class in hermax.utils) SortingNetworkLayers (class in hermax.utils) spb_maxsat_c_fps.SPBMaxSATCFPS (built-in class) SPBMaxSATCFPS (class in hermax.non_incremental.incomplete) start (hermax.model.IntervalVar attribute) starts_after() (hermax.model.IntervalVar method) status (hermax.model.SolveResult attribute) STOP (hermax.portfolio.CallbackAction attribute) sub() (hermax.model.PBExpr method) sum_var() (hermax.model.Model method) SUPPORTED_POLICIES (hermax.portfolio.PortfolioSolver attribute) T Term (class in hermax.model) terms (hermax.model.PBExpr attribute) tier_costs (hermax.model.SolveResult attribute) tier_models (hermax.model.SolveResult attribute) tier_obj (hermax.model.Model property) timeout_error_prefix (hermax.non_incremental.incomplete.Loandra property) (hermax.non_incremental.incomplete.NuWLSCIBR property) (hermax.non_incremental.incomplete.OpenWBOInc property) (hermax.non_incremental.incomplete.SPBMaxSATCFPS property) (hermax.non_incremental.incomplete.TTOpenWBOInc property) to_cnf() (hermax.model.Model method) to_wcnf() (hermax.model.Model method) tt_openwbo_inc.TTOpenWBOInc (built-in class) TTOpenWBOInc (class in hermax.non_incremental.incomplete) U ub (hermax.model.DivExpr property) (hermax.model.IntVar attribute) (hermax.model.MaxExpr property) UNKNOWN (hermax.core.ipamir_solver_interface.SolveStatus attribute) UNSAT (hermax.core.ipamir_solver_interface.SolveStatus attribute) update_soft_weight() (hermax.model.Model method) upper_bound() (hermax.model.IntVar method) (hermax.model.IntVector method) (hermax.model.Model method) urmaxsat_comp_py.UWrMaxSAT (built-in class) urmaxsat_py.UWrMaxSAT (built-in class) UWrMaxSAT (class in hermax.incremental) UWrMaxSATCompetition (class in hermax.incremental) (class in hermax.non_incremental) V val() (hermax.core.ipamir_solver_interface.IPAMIRSolver method) (hermax.incremental.CoreTrail method) (hermax.incremental.EvalMaxSAT method) (hermax.incremental.EvalMaxSATIncremental method) (hermax.incremental.IMaxHS method) (hermax.incremental.UWrMaxSAT method) (hermax.incremental.UWrMaxSATCompetition method) (hermax.model.AssignmentView method) (hermax.non_incremental.CASHWMaxSAT method) (hermax.non_incremental.CGSS method) (hermax.non_incremental.EvalMaxSAT method) (hermax.non_incremental.incomplete.Loandra method) (hermax.non_incremental.incomplete.NuWLSCIBR method) (hermax.non_incremental.incomplete.OpenWBOInc method) (hermax.non_incremental.incomplete.SPBMaxSATCFPS method) (hermax.non_incremental.incomplete.TTOpenWBOInc method) (hermax.non_incremental.MaxHS method) (hermax.non_incremental.OpenWBO method) (hermax.non_incremental.OpenWBOOLL method) (hermax.non_incremental.OpenWBOPartMSU3 method) (hermax.non_incremental.RC2 method) (hermax.non_incremental.UWrMaxSATCompetition method) (hermax.portfolio.PortfolioSolver method) vector() (hermax.model.Model method) W weights (hermax.encoder.PBItem attribute) wmaxcdcl.WMaxCDCL (built-in class) worker_id (hermax.portfolio.PortfolioEvent attribute) worker_solver_class_path (hermax.non_incremental.incomplete.Loandra property) (hermax.non_incremental.incomplete.NuWLSCIBR property) (hermax.non_incremental.incomplete.OpenWBOInc property) (hermax.non_incremental.incomplete.SPBMaxSATCFPS property) (hermax.non_incremental.incomplete.TTOpenWBOInc property)
