List of all items

Structs

• NotAllowed
• RequiresClausal
• RequiresSoftLits
• algs::maxsat::SolutionImprovingSearch
• encodings::NotEncoded
• encodings::am1::Bimander
• encodings::am1::Bitwise
• encodings::am1::Commander
• encodings::am1::Ladder
• encodings::am1::Pairwise
• encodings::am1::TwoProduct
• encodings::card::simulators::Double
• encodings::card::simulators::Inverted
• encodings::card::totalizer::Totalizer
• encodings::card::totalizer::referenced::Tot
• encodings::card::totalizer::referenced::TotCell
• encodings::nodedb::NodeCon
• encodings::nodedb::NodeId
• encodings::pb::adder::BinaryAdder
• encodings::pb::adder::Structure
• encodings::pb::dpw::DynamicPolyWatchdog
• encodings::pb::dpw::Structure
• encodings::pb::dpw::referenced::DynamicPolyWatchdog
• encodings::pb::dpw::referenced::DynamicPolyWatchdogCell
• encodings::pb::gte::GeneralizedTotalizer
• encodings::pb::gte::referenced::Gte
• encodings::pb::gte::referenced::GteCell
• encodings::pb::simulators::Card
• encodings::pb::simulators::Double
• encodings::pb::simulators::Inverted
• encodings::totdb::AssignIter
• encodings::totdb::Db
• encodings::totdb::GeneralNode
• encodings::totdb::UnitNode
• encodings::totdb::cert::SemDefId
• encodings::totdb::cert::SemDefs
• instances::BasicVarManager
• instances::Cnf
• instances::MultiOptInstance
• instances::ObjectVarManager
• instances::Objective
• instances::OptInstance
• instances::RandReindVarManager
• instances::ReindexingVarManager
• instances::SatInstance
• instances::fio::ObjNoExist
• instances::fio::dimacs::InvalidPLine
• instances::fio::opb::Options
• solvers::DefaultInitializer
• solvers::PropagateResult
• solvers::SolverStats
• solvers::StateError
• solvers::external::InputVia
• solvers::external::OutputVia
• solvers::external::Solver
• solvers::simulators::Incremental
• types::Assignment
• types::Lit
• types::Var
• types::constraints::CardEqConstr
• types::constraints::CardLbConstr
• types::constraints::CardUbConstr
• types::constraints::Cl
• types::constraints::Clause
• types::constraints::PbEqConstr
• types::constraints::PbLbConstr
• types::constraints::PbUbConstr
• utils::LimitedIter
• utils::Timer

Enums

• OutOfMemory
• encodings::ConstraintEncodingError
• encodings::EnforceError
• encodings::cert::ConstraintEncodingError
• encodings::cert::EncodingError
• encodings::pb::dpw::PrecisionError
• encodings::totdb::Node
• encodings::totdb::Semantics
• instances::fio::SatSolverOutputError
• instances::fio::SolverOutput
• instances::fio::dimacs::CnfLine
• instances::fio::dimacs::McnfLine
• instances::fio::dimacs::WcnfLine
• instances::fio::opb::FileLine
• solvers::ControlSignal
• solvers::SolverResult
• solvers::SolverState
• types::InvalidVLine
• types::TernaryVal
• types::TypeError
• types::constraints::CardConstraint
• types::constraints::ConstraintRef
• types::constraints::PbConstraint
• types::constraints::PbToCardError

Traits

• algs::maxsat::Solve
• encodings::CollectClauses
• encodings::EncodeStats
• encodings::IterInputs
• encodings::IterWeightedInputs
• encodings::Monotone
• encodings::am1::Encode
• encodings::card::BoundBoth
• encodings::card::BoundBothIncremental
• encodings::card::BoundLower
• encodings::card::BoundLowerIncremental
• encodings::card::BoundUpper
• encodings::card::BoundUpperIncremental
• encodings::card::Encode
• encodings::card::EncodeIncremental
• encodings::card::cert::BoundBoth
• encodings::card::cert::BoundBothIncremental
• encodings::card::cert::BoundLower
• encodings::card::cert::BoundLowerIncremental
• encodings::card::cert::BoundUpper
• encodings::card::cert::BoundUpperIncremental
• encodings::cert::CollectClauses
• encodings::nodedb::NodeById
• encodings::nodedb::NodeLike
• encodings::pb::BoundBoth
• encodings::pb::BoundBothIncremental
• encodings::pb::BoundLower
• encodings::pb::BoundLowerIncremental
• encodings::pb::BoundUpper
• encodings::pb::BoundUpperIncremental
• encodings::pb::Encode
• encodings::pb::EncodeIncremental
• encodings::pb::cert::BoundBoth
• encodings::pb::cert::BoundBothIncremental
• encodings::pb::cert::BoundLower
• encodings::pb::cert::BoundLowerIncremental
• encodings::pb::cert::BoundUpper
• encodings::pb::cert::BoundUpperIncremental
• instances::ManageVars
• instances::ReindexVars
• solvers::FlipLit
• solvers::FreezeVar
• solvers::GetInternalStats
• solvers::Initialize
• solvers::Interrupt
• solvers::InterruptSolver
• solvers::Learn
• solvers::LimitConflicts
• solvers::LimitDecisions
• solvers::LimitPropagations
• solvers::PhaseLit
• solvers::Propagate
• solvers::Solve
• solvers::SolveIncremental
• solvers::SolveStats
• solvers::Terminate
• types::ClsIter
• types::IWLitIter
• types::LitIter
• types::WClsIter
• types::WLitIter

Macros

• clause
• ipasir_lit
• lit
• var

Functions

• encodings::am1::new_default
• encodings::atomics::card_impl_lit
• encodings::atomics::clause_impl_clause
• encodings::atomics::clause_impl_cube
• encodings::atomics::clause_impl_lit
• encodings::atomics::cube_impl_clause
• encodings::atomics::cube_impl_cube
• encodings::atomics::cube_impl_lit
• encodings::atomics::lit_impl_card
• encodings::atomics::lit_impl_clause
• encodings::atomics::lit_impl_cube
• encodings::atomics::lit_impl_lit
• encodings::atomics::lit_impl_pb
• encodings::atomics::pb_impl_lit
• encodings::card::cert::default_encode_cardinality_constraint
• encodings::card::cert::encode_cardinality_constraint
• encodings::card::cert::new_default_both
• encodings::card::cert::new_default_inc_both
• encodings::card::cert::new_default_inc_lb
• encodings::card::cert::new_default_inc_ub
• encodings::card::cert::new_default_lb
• encodings::card::cert::new_default_ub
• encodings::card::default_encode_cardinality_constraint
• encodings::card::encode_cardinality_constraint
• encodings::card::new_default_both
• encodings::card::new_default_inc_both
• encodings::card::new_default_inc_lb
• encodings::card::new_default_inc_ub
• encodings::card::new_default_lb
• encodings::card::new_default_ub
• encodings::pb::cert::default_encode_pb_constraint
• encodings::pb::cert::encode_pb_constraint
• encodings::pb::cert::new_default_both
• encodings::pb::cert::new_default_inc_both
• encodings::pb::cert::new_default_inc_lb
• encodings::pb::cert::new_default_inc_ub
• encodings::pb::cert::new_default_lb
• encodings::pb::cert::new_default_ub
• encodings::pb::default_encode_pb_constraint
• encodings::pb::dpw::build_structure
• encodings::pb::dpw::con_weight_queue
• encodings::pb::dpw::encode_output
• encodings::pb::dpw::enforce_ub
• encodings::pb::dpw::lit_weight_queue
• encodings::pb::dpw::merge_structures
• encodings::pb::encode_pb_constraint
• encodings::pb::new_default_both
• encodings::pb::new_default_inc_both
• encodings::pb::new_default_inc_lb
• encodings::pb::new_default_inc_ub
• encodings::pb::new_default_lb
• encodings::pb::new_default_ub
• instances::fio::dimacs::parse_cnf
• instances::fio::dimacs::parse_lit
• instances::fio::dimacs::parse_mcnf
• instances::fio::dimacs::parse_wcnf_with_idx
• instances::fio::dimacs::write_cnf
• instances::fio::dimacs::write_cnf_annotated
• instances::fio::dimacs::write_mcnf
• instances::fio::dimacs::write_mcnf_annotated
• instances::fio::dimacs::write_wcnf
• instances::fio::dimacs::write_wcnf_annotated
• instances::fio::opb::literal
• instances::fio::opb::parse_multi_opt
• instances::fio::opb::parse_opt_with_idx
• instances::fio::opb::parse_sat
• instances::fio::opb::write_multi_opt
• instances::fio::opb::write_opb_lines
• instances::fio::opb::write_opt
• instances::fio::opb::write_sat
• instances::fio::open_compressed_uncompressed_read
• instances::fio::open_compressed_uncompressed_write
• instances::fio::parse_sat_solver_output
• utils::digits
• utils::from_raw_parts_maybe_null

Type Aliases

• encodings::am1::Def
• encodings::card::DefBothBounding
• encodings::card::DefIncBothBounding
• encodings::card::DefIncLowerBounding
• encodings::card::DefIncUpperBounding
• encodings::card::DefLowerBounding
• encodings::card::DefUpperBounding
• encodings::card::cert::DefBothBounding
• encodings::card::cert::DefIncBothBounding
• encodings::card::cert::DefIncLowerBounding
• encodings::card::cert::DefIncUpperBounding
• encodings::card::cert::DefLowerBounding
• encodings::card::cert::DefUpperBounding
• encodings::pb::DefBothBounding
• encodings::pb::DefIncBothBounding
• encodings::pb::DefIncLowerBounding
• encodings::pb::DefIncUpperBounding
• encodings::pb::DefLowerBounding
• encodings::pb::DefUpperBounding
• encodings::pb::DoubleGeneralizedTotalizer
• encodings::pb::InvertedGeneralizedTotalizer
• encodings::pb::cert::DefBothBounding
• encodings::pb::cert::DefIncBothBounding
• encodings::pb::cert::DefIncLowerBounding
• encodings::pb::cert::DefIncUpperBounding
• encodings::pb::cert::DefLowerBounding
• encodings::pb::cert::DefUpperBounding
• types::RsHashMap
• types::RsHashSet
• types::RsHasher